]> matita.cs.unibo.it Git - helm.git/history - helm/software/matita/contribs/procedural/CoRN/model/reals
transcript: we improved the parser/lexer to read the scripts of the standard
[helm.git] / helm / software / matita / contribs / procedural / CoRN / model / reals /
2008-09-04 Ferruccio Guiditranscript: we improved the parser/lexer to read the...