9 Commits

Author	SHA1	Message	Date
john.j.camilleri	2bfa9b854c	lib/src/api/libraryBrowser/MkLang.hs - allow multiple arguments	2013-07-26 07:41:20 +00:00
john.j.camilleri	0d15d1c4c2	Script for creating LibraryBrowser???.gf for a new language	2013-07-24 11:25:17 +00:00
aarne	40be536097	optional hiding in LibraryBrowser	2012-05-31 15:57:56 +00:00
aarne	be722a848a	swapping some arguments in LibraryBrowser	2012-05-31 11:48:29 +00:00
aarne	61903f2d4f	some more mkText API functions	2012-05-30 20:13:29 +00:00
aarne	a2513583d4	better treatment of pronouns in LibraryBrowser	2012-05-30 13:58:01 +00:00
aarne	a150616d82	make linearizations in browser Makefile	2012-05-30 08:56:47 +00:00
aarne	4858237ab2	make for library browser	2012-05-30 08:42:11 +00:00
aarne	324d2a2409	LibraryBrowser grammar - another attempt to parse into library terms	2012-05-30 08:30:49 +00:00