matita.cs.unibo.it Git - helm.git/history - helm/software/components/binaries/transcript/Makefile

]> matita.cs.unibo.it Git - helm.git/history - helm/software/components/binaries/transcript/Makefile

2009-04-14	Ferruccio Guidi	- Procedural: generation of "exact" is now complete	blob \| commitdiff \| raw
2008-11-30	Ferruccio Guidi	lambda-delta/toplevel: improved transformation from...	blob \| commitdiff \| raw \| diff to current
2008-09-04	Ferruccio Guidi	transcript: improved debuugging facilities	blob \| commitdiff \| raw \| diff to current
2007-10-12	Claudio Sacerdoti...	Move to OCaml 3.10. Requires debian packages from unsta...	blob \| commitdiff \| raw \| diff to current
2006-11-16	Ferruccio Guidi	- transcript: patched to generate CoRN_notation.ma...	blob \| commitdiff \| raw \| diff to current
2006-11-16	Ferruccio Guidi	- transcript: now outputs includes and coercions correctly	blob \| commitdiff \| raw \| diff to current
2006-11-15	Ferruccio Guidi	transcript updated	blob \| commitdiff \| raw \| diff to current
2006-11-15	Ferruccio Guidi	transcript: very alpha version.	blob \| commitdiff \| raw \| diff to current

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