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

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

projects / helm.git / history

summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next

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

2011-09-06	Wilmer Ricciotti	First attempt at svn commit of developments.	blob \| commitdiff \| raw
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.