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

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

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

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-23	Enrico Tassi	universes are saved to disk	blob \| commitdiff \| raw \| diff to current
2005-09-21	Stefano Zacchiroli	ported to the new parser interface (Ulexing.lexbuf...	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-06	Stefano Zacchiroli	misc fixes in cic browser queries (pretty printing...	blob \| commitdiff \| raw \| diff to current
2005-07-29	Claudio Sacerdoti...	0. core_notation.ma splitted into coq.moo and core_nota...	blob \| commitdiff \| raw \| diff to current
2005-07-27	Claudio Sacerdoti...	dead code removed	blob \| commitdiff \| raw \| diff to current
2005-07-27	Enrico Tassi	matitaMisc.ml	blob \| commitdiff \| raw \| diff to current
2005-07-27	Enrico Tassi	safe mkdir implemented	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-22	Enrico Tassi	some prerr to better understand the mkdir -p error	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-07-04	Claudio Sacerdoti...	"include" command implemented.	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-28	Enrico Tassi	* new binary matitatop	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-17	Enrico Tassi	fixed whelp bar	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-14	Enrico Tassi	added choose_uri method to console, used by the interpr...	blob \| commitdiff \| raw \| diff to current
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