]>
2011-06-22 | Wilmer Ricciotti | More changes to matitaweb dialog boxes. | blob | commitdiff | raw |
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 |