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

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

2011-06-09	Wilmer Ricciotti	Fixes bugs in the Matitaweb UI.	blob \| commitdiff \| raw
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.