matita.cs.unibo.it Git - helm.git/history - helm/software/lambda-delta/src/toplevel/top.ml

]> matita.cs.unibo.it Git - helm.git/history - helm/software/lambda-delta/src/toplevel/top.ml

2010-11-02	Ferruccio Guidi	- the connections between the intermediate language...	blob \| commitdiff \| raw
2010-11-01	Ferruccio Guidi	- some bugfix	blob \| commitdiff \| raw \| diff to current
2010-10-31	Ferruccio Guidi	the old intermediate language (meta) is now obsolete	blob \| commitdiff \| raw \| diff to current
2010-10-31	Ferruccio Guidi	when sort inclusion is enabled, we can produce conversi...	blob \| commitdiff \| raw \| diff to current
2010-10-30	Ferruccio Guidi	- initial support for abstractions with explicit levels	blob \| commitdiff \| raw \| diff to current
2010-08-06	Ferruccio Guidi	ld.dtd: updated to comply with crg	blob \| commitdiff \| raw \| diff to current
2010-08-06	Ferruccio Guidi	we removed old HAL exportation (replaced by XML exporta...	blob \| commitdiff \| raw \| diff to current
2010-08-06	Ferruccio Guidi	we renamed the module abbreviations according to src...	blob \| commitdiff \| raw \| diff to current
2010-08-06	Ferruccio Guidi	the refactoring continues ...	blob \| commitdiff \| raw \| diff to current
2010-08-06	Ferruccio Guidi	the refactoring continues ....	blob \| commitdiff \| raw \| diff to current

Unnamed repository; edit this file 'description' to name the repository.