matita.cs.unibo.it Git - helm.git/history - matitaB/matita/index.html

]> matita.cs.unibo.it Git - helm.git/history - matitaB/matita/index.html

[helm.git] / matitaB / matita / index.html

2011-11-09	Wilmer Ricciotti	Matitaweb:	blob \| commitdiff \| raw
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-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	Wilmer Ricciotti	Matitaweb: New File functionality.	blob \| commitdiff \| raw \| diff to current
2011-09-08	matitaweb	Matitaweb: Save as...	blob \| commitdiff \| raw \| diff to current
2011-09-08	matitaweb	Matitaweb: more changes to file selection dialog box.	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: changes to 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-09-06	Wilmer Ricciotti	First attempt at svn commit of developments.	blob \| commitdiff \| raw \| diff to current
2011-07-14	Wilmer Ricciotti	Changes to utf8MacroTable.js.	blob \| commitdiff \| raw \| diff to current
2011-07-14	Wilmer Ricciotti	Added Utf8MacroTable for MatitaWeb.	blob \| commitdiff \| raw \| diff to current
2011-06-22	Wilmer Ricciotti	Removed filename input box from index.html (just browse...	blob \| commitdiff \| raw \| diff to current
2011-06-22	Wilmer Ricciotti	Changes to matitaweb.js (dialog box).	blob \| commitdiff \| raw \| diff to current
2011-06-22	Wilmer Ricciotti	Show library test 1.	blob \| commitdiff \| raw \| diff to current
2011-06-22	Wilmer Ricciotti	Fix in matitaweb:index.html.	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	Bugfix in index.html.	blob \| commitdiff \| raw \| diff to current
2011-06-22	Wilmer Ricciotti	First attempt at dialog boxes.	blob \| commitdiff \| raw \| diff to current
2011-06-16	Wilmer Ricciotti	Added module MatitaFilesystem, to be used for the manag...	blob \| commitdiff \| raw \| diff to current
2011-06-09	Wilmer Ricciotti	Fixes bugs in the Matitaweb UI.	blob \| commitdiff \| raw \| diff to current
2011-06-08	Wilmer Ricciotti	Cosmetic changes.	blob \| commitdiff \| raw \| diff to current
2011-06-01	Wilmer Ricciotti	Matita Web: moved the javascript in a separate file...	blob \| commitdiff \| raw \| diff to current
2011-05-31	Wilmer Ricciotti	Partial implementation of "go to cursor" action.	blob \| commitdiff \| raw \| diff to current
2011-05-30	Wilmer Ricciotti	Partially working table layout of matita web (only...	blob \| commitdiff \| raw \| diff to current

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

RSS Atom