5 Commits

Author	SHA1	Message	Date
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
aarne	d1cddd04aa	rewrote App so that it just inherits Translate and excludes some functions. This minimizes the duplication of code between Translate and App. Also added some functions, which make App 15% slower but increase the coverage and quality. This trade-off has to be studied further.	2014-04-09 13:04:19 +00:00
aarne	06fb9eff08	AdvS added to app	2014-04-04 07:30:06 +00:00
aarne	e45038b73e	added AdvVP and AdVVP to App	2014-04-03 07:25:57 +00:00
aarne	b84bd78ab9	Android app sources in examples/app - read README for advice	2014-04-02 21:34:40 +00:00