matita.cs.unibo.it Git - helm.git/search

]> matita.cs.unibo.it Git - helm.git/search

2002-11-27	natile	Relation patched, property added.	commit \| commitdiff \| tree
2002-11-22	natile	Debugging prints removed.	commit \| commitdiff \| tree
2002-11-22	natile	Mathql_interpreter now using db helm_mowgli_new_schema.	commit \| commitdiff \| tree
2002-11-19	natile	Now Pattern module really exists in repository.	commit \| commitdiff \| tree
2002-11-19	natile	Pattern module added.	commit \| commitdiff \| tree
2002-11-18	natile	Relation: inverse switch added.	commit \| commitdiff \| tree
2002-11-14	natile	Attribute files added.	commit \| commitdiff \| tree
2002-11-14	natile	Unused files removed.	commit \| commitdiff \| tree
2002-11-13	natile	Attribute patched: now takes an extra argument of type...	commit \| commitdiff \| tree
2002-11-13	natile	Attribute patched with inverse function.	commit \| commitdiff \| tree
2002-11-04	natile	Fun patched.	commit \| commitdiff \| tree
2002-10-28	natile	Fun patched but works only in one direction (from the...	commit \| commitdiff \| tree
2002-10-22	natile	Switching interpreter patched, addedd:	commit \| commitdiff \| tree
2002-10-21	natile	Old modules (use.ml/mli, eval.ml/mli,...) eliminated.	commit \| commitdiff \| tree
2002-10-21	natile	Switching interpreter.	commit \| commitdiff \| tree
2002-10-21	natile	Merge of the new_mathql branch with the main branch:	commit \| commitdiff \| tree
2002-10-21	natile	Merge of the new_mathql branch with the main branch:	commit \| commitdiff \| tree
2002-10-11	natile	Use patched.	commit \| commitdiff \| tree
2002-09-19	natile	commit of galax mathql interpreter	commit \| commitdiff \| tree

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

RSS Atom