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

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

2005-05-17	Enrico Tassi	fixed whelp bar	blob \| commitdiff \| raw
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.