7 Commits

Author	SHA1	Message	Date
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