matita.cs.unibo.it Git - helm.git/history - helm/software/lambda-delta/xml/ld.dtd

]> matita.cs.unibo.it Git - helm.git/history - helm/software/lambda-delta/xml/ld.dtd

2010-11-02	Ferruccio Guidi	- the connections between the intermediate language...	blob \| commitdiff \| raw
2010-10-31	Ferruccio Guidi	when sort inclusion is enabled, we can produce conversi...	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 renamed the module abbreviations according to src...	blob \| commitdiff \| raw \| diff to current
2010-08-06	Ferruccio Guidi	txtLexer: bug fix in parsing the string tokens	blob \| commitdiff \| raw \| diff to current
2010-01-05	Ferruccio Guidi	- we now add the kernel options in the preamble of...	blob \| commitdiff \| raw \| diff to current
2009-10-29	Ferruccio Guidi	new xml exportation procedure for basic_rg (10 times...	blob \| commitdiff \| raw \| diff to current
2009-09-01	Ferruccio Guidi	basic_rg: bugfix in AST to allow attributes in global...	blob \| commitdiff \| raw \| diff to current

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