9 Commits

Author	SHA1	Message	Date
john.j.camilleri	d0f7df60d3	lib/src/api/libraryBrowser/MkLang.hs - allow multiple arguments	2013-07-26 07:41:20 +00:00
john.j.camilleri	68226a2354	Script for creating LibraryBrowser???.gf for a new language	2013-07-24 11:25:17 +00:00
aarne	89ac3e1926	optional hiding in LibraryBrowser	2012-05-31 15:57:56 +00:00
aarne	e24008bdf2	swapping some arguments in LibraryBrowser	2012-05-31 11:48:29 +00:00
aarne	e905764fe6	some more mkText API functions	2012-05-30 20:13:29 +00:00
aarne	ee6321d774	better treatment of pronouns in LibraryBrowser	2012-05-30 13:58:01 +00:00
aarne	e84720622f	make linearizations in browser Makefile	2012-05-30 08:56:47 +00:00
aarne	12e142724b	make for library browser	2012-05-30 08:42:11 +00:00
aarne	7e467eb431	LibraryBrowser grammar - another attempt to parse into library terms	2012-05-30 08:30:49 +00:00