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

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

[helm.git] / helm / matita / matitaGtkMisc.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-07-15	Enrico Tassi	matitamake is integrated with matita	blob \| commitdiff \| raw \| diff to current
2005-07-04	Enrico Tassi	center on parent now works for ask_confirmation dialog	blob \| commitdiff \| raw \| diff to current
2005-06-29	Enrico Tassi	now baseuri is needed in each file (and its redefinitio...	blob \| commitdiff \| raw \| diff to current
2005-06-29	Enrico Tassi	fixed some errers in the save/cancel ...	blob \| commitdiff \| raw \| diff to current
2005-06-29	Enrico Tassi	fixed save/exit stuff	blob \| commitdiff \| raw \| diff to current
2005-06-29	Enrico Tassi	fix	blob \| commitdiff \| raw \| diff to current
2005-06-29	Enrico Tassi	the error_report window is now properly closed	blob \| commitdiff \| raw \| diff to current
2005-06-28	Enrico Tassi	added "are you sure you want to quit with usaved script?"	blob \| commitdiff \| raw \| diff to current
2005-06-14	Enrico Tassi	added fullscreen menu item	blob \| commitdiff \| raw \| diff to current
2005-06-13	Enrico Tassi	cosmetic fix	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-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-01	Stefano Zacchiroli	snapshot, notably:	blob \| commitdiff \| raw \| diff to current
2004-11-11	Stefano Zacchiroli	snapshot:	blob \| commitdiff \| raw \| diff to current
2004-11-09	Stefano Zacchiroli	snapshot, notably:	blob \| commitdiff \| raw \| diff to current
2004-04-28	Stefano Zacchiroli	snapshot	blob \| commitdiff \| raw \| diff to current
2004-04-23	Stefano Zacchiroli	snapshot	blob \| commitdiff \| raw \| diff to current
2004-04-22	Stefano Zacchiroli	snapshot	blob \| commitdiff \| raw \| diff to current
2004-04-22	Stefano Zacchiroli	snapshot	blob \| commitdiff \| raw \| diff to current
2004-04-20	Stefano Zacchiroli	renamed mathita to matita	blob \| commitdiff \| raw \| diff to current

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

RSS Atom