matita.cs.unibo.it Git - helm.git/history - matitaB/matita/matitaweb.css

]> matita.cs.unibo.it Git - helm.git/history - matitaB/matita/matitaweb.css

[helm.git] / matitaB / matita / matitaweb.css

2011-11-09	matitaweb	Matitaweb: fixes compilation errors and minor graphical...	blob \| commitdiff \| raw
2011-11-09	Wilmer Ricciotti	Matitaweb:	blob \| commitdiff \| raw \| diff to current
2011-11-02	Wilmer Ricciotti	Matitaweb:	blob \| commitdiff \| raw \| diff to current
2011-10-24	Wilmer Ricciotti	Matitaweb: first attempt at web UI for disambiguation.	blob \| commitdiff \| raw \| diff to current
2011-10-18	matitaweb	Localization of errors.	blob \| commitdiff \| raw \| diff to current
2011-10-06	Wilmer Ricciotti	Matitaweb: added a titlebar to the GUI.	blob \| commitdiff \| raw \| diff to current
2011-09-30	matitaweb	Matitaweb:	blob \| commitdiff \| raw \| diff to current
2011-09-21	matitaweb	1) removed many debug prints	blob \| commitdiff \| raw \| diff to current
2011-09-16	matitaweb	File uploading	blob \| commitdiff \| raw \| diff to current
2011-09-09	Wilmer Ricciotti	Matitaweb: layout change in the matitaweb inteface...	blob \| commitdiff \| raw \| diff to current
2011-09-08	matitaweb	Matitaweb: Changes to the file selection dialog box.	blob \| commitdiff \| raw \| diff to current
2011-09-08	Wilmer Ricciotti	Matitaweb: Some changes in file selection dialogbox.	blob \| commitdiff \| raw \| diff to current
2011-06-22	Wilmer Ricciotti	Opening scripts using the Library dialog (try 1).	blob \| commitdiff \| raw \| diff to current
2011-06-22	Wilmer Ricciotti	More changes to matitaweb.css.	blob \| commitdiff \| raw \| diff to current
2011-06-22	Wilmer Ricciotti	More changes to matitaweb.css.	blob \| commitdiff \| raw \| diff to current
2011-06-22	Wilmer Ricciotti	More changes to matitaweb.css.	blob \| commitdiff \| raw \| diff to current
2011-06-22	Wilmer Ricciotti	More changes to matitaweb.css.	blob \| commitdiff \| raw \| diff to current
2011-06-22	Wilmer Ricciotti	Fix in matitaweb.css.	blob \| commitdiff \| raw \| diff to current
2011-06-22	Wilmer Ricciotti	Changes to matitaweb.css (dialog boxes).	blob \| commitdiff \| raw \| diff to current
2011-06-22	Wilmer Ricciotti	Changes to matitaweb.css (dialog boxes).	blob \| commitdiff \| raw \| diff to current
2011-06-22	Wilmer Ricciotti	More changes to matitaweb dialog boxes.	blob \| commitdiff \| raw \| diff to current
2011-06-22	Wilmer Ricciotti	First attempt at dialog boxes.	blob \| commitdiff \| raw \| diff to current

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

RSS Atom