matita.cs.unibo.it Git - helm.git/history - helm/matita/matitaMisc.mli

]> matita.cs.unibo.it Git - helm.git/history - helm/matita/matitaMisc.mli

[helm.git] / helm / matita / matitaMisc.mli

2005-11-03	Stefano Zacchiroli	better dependencies among modules and symlinking of...	blob \| commitdiff \| raw
2005-10-25	Stefano Zacchiroli	new tacticals	blob \| commitdiff \| raw \| diff to current
2005-09-27	Stefano Zacchiroli	moved list_uniq to the extlib	blob \| commitdiff \| raw \| diff to current
2005-09-26	Enrico Tassi	MatitacleanLib.remove_baseuris will remove empty direct...	blob \| commitdiff \| raw \| diff to current
2005-09-26	Stefano Zacchiroli	- added integrity checks on .moo files	blob \| commitdiff \| raw \| diff to current
2005-09-15	Claudio Sacerdoti...	Yet another implementation of the single aliases /...	blob \| commitdiff \| raw \| diff to current
2005-09-08	Stefano Zacchiroli	implemented lazy disambiguation of tactics arguments...	blob \| commitdiff \| raw \| diff to current
2005-09-06	Stefano Zacchiroli	misc fixes in cic browser queries (pretty printing...	blob \| commitdiff \| raw \| diff to current
2005-07-27	Stefano Zacchiroli	added get_proof_conclusione and list_tl_at	blob \| commitdiff \| raw \| diff to current
2005-07-25	Stefano Zacchiroli	added split	blob \| commitdiff \| raw \| diff to current
2005-07-22	Claudio Sacerdoti...	Big changes:	blob \| commitdiff \| raw \| diff to current
2005-07-15	Enrico Tassi	matitamake is integrated with matita	blob \| commitdiff \| raw \| diff to current
2005-07-13	Enrico Tassi	matitamake stuff:	blob \| commitdiff \| raw \| diff to current
2005-07-05	Claudio Sacerdoti...	* safe_remove exported and moved to MatitaMisc	blob \| commitdiff \| raw \| diff to current
2005-06-30	Stefano Zacchiroli	added a debugging helper	blob \| commitdiff \| raw \| diff to current
2005-06-30	Enrico Tassi	first matitadep snapshot	blob \| commitdiff \| raw \| diff to current
2005-06-08	Stefano Zacchiroli	added icons to entries shown in cicbrowser so that...	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-04-28	Enrico Tassi	attached macros: hint(partial), check	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
2005-04-27	Stefano Zacchiroli	removed all old matita files (kept in attic)	blob \| commitdiff \| raw
2005-02-07	Stefano Zacchiroli	added support for directory browsing in cicBrowser	blob \| commitdiff \| raw \| diff to current
2005-02-04	Stefano Zacchiroli	snapshot, notably:	blob \| commitdiff \| raw \| diff to current
2005-02-03	Stefano Zacchiroli	snapshot, notably:	blob \| commitdiff \| raw \| diff to current
2005-02-01	Stefano Zacchiroli	snapshot, notably:	blob \| commitdiff \| raw \| diff to current
2004-12-03	Stefano Zacchiroli	snapshot	blob \| commitdiff \| raw \| diff to current
2004-11-11	Stefano Zacchiroli	snapshot:	blob \| commitdiff \| raw \| diff to current
2004-10-27	Stefano Zacchiroli	snapshot, notably:	blob \| commitdiff \| raw \| diff to current

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

RSS Atom