3 Commits

Author	SHA1	Message	Date
aarne	5146f4aaba	enabled more from Construction in App	2014-06-18 16:20:53 +00:00
aarne	0525c7837a	improved generation of BNC dictionaries ; now called TopDictionary for clarity	2014-04-10 13:07:05 +00:00
aarne	6c7f1245ce	more passives in App. Import changes are now produced with MkApp.hs, which copies the exclude list from App.gf to the concrete syntax files.	2014-04-09 14:01:06 +00:00