matita.cs.unibo.it Git - helm.git/history - helm/ocaml/mathql

]> matita.cs.unibo.it Git - helm.git/history - helm/ocaml/mathql_interpreter/diff.ml

2003-06-19	Ferruccio Guidi	MathQL 1.3 ready for use	commit \| commitdiff
2003-02-04	Claudio Sacerdoti...	print_endline ==> prerr_endline	commit \| commitdiff
2002-11-22	natile	Mathql_interpreter now using db helm_mowgli_new_schema.	commit \| commitdiff
2002-10-21	natile	Merge of the new_mathql branch with the main branch:	commit \| commitdiff
2002-07-01	Ferruccio Guidi	mathQL modified, stderr corrected to stdout im mathql_i...	commit \| commitdiff
2002-05-31	lordi	diff and sortedby implemented	commit \| commitdiff
2002-05-22	lordi	sortedby implemented and new uri result format	commit \| commitdiff

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