]> matita.cs.unibo.it Git - helm.git/history - helm/ocaml/mathql
projects / helm.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Fun implemented.
[helm.git] / helm / ocaml / mathql /
2002-10-15 Ferruccio Guiditextual parser: caml-like comments added (not nestable) tree | commitdiff
2002-09-25 Ferruccio Guidibinders list added to MathQL.Ex constructor tree | commitdiff
2002-09-21 Ferruccio Guidinew semantics for relation and attribute tree | commitdiff
2002-09-16 Ferruccio Guidiparser and pretty printer corrected and tested tree | commitdiff
2002-09-15 Ferruccio Guidilet-in on vvars added to mathql tree | commitdiff
2002-09-14 Ferruccio Guidiattr_list changed in vvar_list tree | commitdiff
2002-09-13 Ferruccio Guidiparsing and pretty printing for textual notation tree | commitdiff
2002-09-10 Ferruccio Guidia small correction to mathQL.ml tree | commitdiff
2002-09-10 Ferruccio Guidinew mathql semantics tree | commitdiff
2002-09-04 Ferruccio Guidiraw HTML markap generator tree | commitdiff
2002-09-04 Ferruccio Guiditextual parser fixed tree | commitdiff
2002-07-01 Ferruccio GuidimathQL modified, stderr corrected to stdout im mathql_i... tree | commitdiff
2002-06-25 Claudio Sacerdoti... Wrong xpointers generated. Fixed. tree | commitdiff
2002-06-22 Ferruccio GuidimathQL and mqint updated tree | commitdiff
2002-06-18 Ferruccio GuidimathQL.ml updated tree | commitdiff
2002-06-14 lordiadded type for list variables tree | commitdiff
2002-06-13 lordiadded support for let in tree | commitdiff
2002-06-13 Ferruccio GuidiMQueryUtil updated tree | commitdiff
2002-05-28 Claudio Sacerdoti... ... tree | commitdiff
2002-05-22 lordi.cvsignore improved tree | commitdiff
2002-05-22 Ferruccio Guiditextual parser and other utilities for mathql tree | commitdiff
Unnamed repository; edit this file 'description' to name the repository.