matita.cs.unibo.it Git - helm.git/history - helm/matita/matitaEngine.ml

]> matita.cs.unibo.it Git - helm.git/history - helm/matita/matitaEngine.ml

[helm.git] / helm / matita / matitaEngine.ml

2005-06-15	Ferruccio Guidi	support for the new tactics lapply and fwd	blob \| commitdiff \| raw
2005-06-15	Claudio Sacerdoti...	Big commit and major code clean-up:	blob \| commitdiff \| raw \| diff to current
2005-06-13	Enrico Tassi	removed prerr_endline	blob \| commitdiff \| raw \| diff to current
2005-06-10	Enrico Tassi	added records	blob \| commitdiff \| raw \| diff to current
2005-06-10	Claudio Sacerdoti...	Got rid of a few bugs.	blob \| commitdiff \| raw \| diff to current
2005-06-09	Claudio Sacerdoti...	Error message improved.	blob \| commitdiff \| raw \| diff to current
2005-06-09	Enrico Tassi	added whd before uri_of_term	blob \| commitdiff \| raw \| diff to current
2005-06-08	Stefano Zacchiroli	rewritten cicBrowser handling of uri text entry, still...	blob \| commitdiff \| raw \| diff to current
2005-06-08	Claudio Sacerdoti...	More informative error message.	blob \| commitdiff \| raw \| diff to current
2005-06-07	Enrico Tassi	added letin	blob \| commitdiff \| raw \| diff to current
2005-06-01	Enrico Tassi	reduce with path	blob \| commitdiff \| raw \| diff to current
2005-06-01	Enrico Tassi	some cosmetic fixes	blob \| commitdiff \| raw \| diff to current
2005-05-31	Andrea Asperti	added automathic aliases for _ind _rec and _rect when...	blob \| commitdiff \| raw \| diff to current
2005-05-31	Enrico Tassi	added automathic aliases for qed and definition	blob \| commitdiff \| raw \| diff to current
2005-05-30	Andrea Asperti	added intros n.	blob \| commitdiff \| raw \| diff to current
2005-05-30	Andrea Asperti	added automathic aliases.	blob \| commitdiff \| raw \| diff to current
2005-05-27	Enrico Tassi	fixed matitac	blob \| commitdiff \| raw \| diff to current
2005-05-24	Enrico Tassi	added simpl	blob \| commitdiff \| raw \| diff to current
2005-05-24	Andrea Asperti	fix	blob \| commitdiff \| raw \| diff to current
2005-05-24	Andrea Asperti	elim -> elim_intros (no simpl)	blob \| commitdiff \| raw \| diff to current
2005-05-16	Enrico Tassi	added comments, fixed history, added loadList to browser	blob \| commitdiff \| raw \| diff to current
2005-05-02	Enrico Tassi	attached auto	blob \| commitdiff \| raw \| diff to current
2005-04-27	Stefano Zacchiroli	checked in new version of matita from svn	blob \| commitdiff \| raw \| diff to current

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

RSS Atom