Commit Graph

6 Commits

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