3 Commits

Author	SHA1	Message	Date
aarne	3d5d600236	enabled more from Construction in App	2014-06-18 16:20:53 +00:00
aarne	d7ef5d8c0b	improved generation of BNC dictionaries ; now called TopDictionary for clarity	2014-04-10 13:07:05 +00:00
aarne	88cf84613e	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