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

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

2008-09-04	Ferruccio Guidi	transcript: improved debuugging facilities	blob \| commitdiff \| raw
2008-09-04	Ferruccio Guidi	transcript: we improved the parser/lexer to read the...	blob \| commitdiff \| raw \| diff to current
2008-08-25	Ferruccio Guidi	transcript: bug fix in the generation of axioms	blob \| commitdiff \| raw \| diff to current
2008-08-23	Ferruccio Guidi	Procedural: explicit flavour specification for constant...	blob \| commitdiff \| raw \| diff to current
2006-11-29	Ferruccio Guidi	- decompose tactic: decomposable constants are now...	blob \| commitdiff \| raw \| diff to current
2006-11-17	Ferruccio Guidi	helm_registry: added the pair unmarshaller	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.