]> matita.cs.unibo.it Git - helm.git/shortlog
helm.git
2011-07-20 Ferruccio Guiditwo more main properties of drop closed
2011-07-20 Wilmer RicciottiMatitaweb: fixed a bug concerning matita/html/xml escap...
2011-07-20 Wilmer Ricciotti1) Matitaweb now disambiguates scripts as it runs them
2011-07-19 Ferruccio Guidifirst main property of drop closed
2011-07-19 Ferruccio Guidi- drop_main: bug fix
2011-07-19 Ferruccio Guidi- nnAuto.ml: width overflows are warnings, not errors
2011-07-19 Ferruccio Guidione main property of lift closed
2011-07-18 Ferruccio Guidi- functional properties of lift closed!
2011-07-17 Ferruccio Guidimore lemmas and some generated logical constants for...
2011-07-15 Claudio Sacerdoti... The name of the constructor for jmeq changed.
2011-07-15 Claudio Sacerdoti... Bug fixed: when we try to add an object and it is not...
2011-07-15 Claudio Sacerdoti... Use replace when switching tabs (see previous commit).
2011-07-15 Claudio Sacerdoti... New function replace to be used in place of time_travel...
2011-07-15 Claudio Sacerdoti... Dead code removed from the interface. It is used intern...
2011-07-14 Wilmer RicciottiChanges to TeX-macro conversion.
2011-07-14 Wilmer RicciottiMatitaweb: Bugfix for TeX-macro conversion.
2011-07-14 Wilmer RicciottiMatitaweb: changes to utf8MacroTable.js
2011-07-14 Wilmer RicciottiMatitaweb: changes to utf8MacroTable.js.
2011-07-14 Wilmer RicciottiMatitaweb: TeX-like macro handling.
2011-07-14 Wilmer RicciottiChanges to utf8MacroTable.js.
2011-07-14 Wilmer RicciottiAdded Utf8MacroTable for MatitaWeb.
2011-07-14 Wilmer RicciottiMore keyboard handling tests
2011-07-13 Ferruccio Guidi- new definition of subst based on drop
2011-07-13 Wilmer Ricciottimore tests on keyboard handling.
2011-07-13 Wilmer Ricciottimore tests on keyboard events.
2011-07-13 Wilmer Ricciottimore tests on keyboard events.
2011-07-13 Wilmer Ricciottimore keyboard events tests.
2011-07-13 Wilmer Ricciottimore keyboard events tests.
2011-07-13 Wilmer Ricciottimore keyboard events tests.
2011-07-13 Wilmer Ricciottimore keyboard tests.
2011-07-13 Wilmer Ricciottimore keyboard events tests
2011-07-13 Wilmer Ricciottimore keyboard event tests
2011-07-13 Wilmer Ricciottimore tests with keyboard events.
2011-07-13 Wilmer Ricciottiminor bugfix
2011-07-13 Wilmer RicciottiTesting keyboard events handling.
2011-06-25 Ferruccio Guidilong file names caused indentation underflow (String...
2011-06-25 Ferruccio Guidi- some depend files
2011-06-23 Wilmer RicciottiAdded facility for resetting the library.
2011-06-23 Wilmer Ricciotti...
2011-06-23 Wilmer RicciottiAdded matitaweb administration panel.
2011-06-22 Claudio Sacerdoti... Possible assert false case implemented
2011-06-22 Wilmer RicciottiRemoved filename input box from index.html (just browse...
2011-06-22 Wilmer RicciottiFix to matitaweb library dialog box.
2011-06-22 Wilmer RicciottiFixes to library dialog box in matitaweb.
2011-06-22 Wilmer RicciottiOpening scripts using the Library dialog (try 1).
2011-06-22 Wilmer RicciottiMore changes to matitaweb.css.
2011-06-22 Wilmer RicciottiMore changes to matitaweb.css.
2011-06-22 Wilmer RicciottiChanges to matitaweb.js (dialog box).
2011-06-22 Wilmer RicciottiShow library test 1.
2011-06-22 Wilmer RicciottiMore changes to matitaweb.css.
2011-06-22 Wilmer RicciottiMore changes to matitaweb.css.
2011-06-22 Wilmer RicciottiFix in matitaweb.css.
2011-06-22 Wilmer RicciottiFix in matitaweb:index.html.
2011-06-22 Wilmer RicciottiChanges to matitaweb.css (dialog boxes).
2011-06-22 Wilmer RicciottiChanges to matitaweb.css (dialog boxes).
2011-06-22 Wilmer RicciottiMore changes to matitaweb dialog boxes.
2011-06-22 Wilmer RicciottiSecond attempt at dialog boxes in index.html.
2011-06-22 Wilmer RicciottiBugfix in index.html.
2011-06-22 Wilmer RicciottiFirst attempt at dialog boxes.
2011-06-22 Wilmer RicciottiMore bugfixes for matitaweb's viewlib.
2011-06-22 Wilmer RicciottiBugfix in matitaweb viewlib.
2011-06-22 Wilmer RicciottiMatitaweb viewlib, part II.
2011-06-22 Claudio Sacerdoti... Escaping exceptions are now captured.
2011-06-22 Wilmer RicciottiAdded viewlib to matitaweb.
2011-06-21 Ferruccio Guidimissing ; to delimit syntax :(
2011-06-21 Wilmer RicciottiMore bugfixes in matitaFilesystem.ml
2011-06-21 Wilmer RicciottiBugfix in matitaFilesystem.ml
2011-06-21 Wilmer RicciottiChanged user library dir to users/
2011-06-21 Wilmer RicciottiAdded generation of HTML representation of the library.
2011-06-21 Andrea AspertiSome progress
2011-06-20 Andrea Aspertiported reduction.ma
2011-06-20 Andrea AspertiPorted par_reduction
2011-06-20 Andrea Aspertiported substs and subterms
2011-06-18 Ferruccio Guidi- xoa: more existential types
2011-06-17 Claudio Sacerdoti... Unprotected List.fold_left2.
2011-06-17 Claudio Sacerdoti... Remove the daemon :-)
2011-06-17 Andrea AspertiNew syntax of dummy with the type
2011-06-17 Andrea AspertiAdded a copy of lambdaN to extend the syntax of dummies...
2011-06-16 Wilmer RicciottiAdded module MatitaFilesystem, to be used for the manag...
2011-06-16 Wilmer RicciottiAdded location of the weblib repository to matita.conf...
2011-06-16 Wilmer RicciottiAdded repository for the shared library to be used...
2011-06-15 Wilmer Ricciotti(Almost) working multi-user matitaweb.
2011-06-15 Wilmer RicciottiLogout (partial work) (multi-user matita)
2011-06-15 Wilmer RicciottiMulti-user Matita (and Matitaweb): added user authentic...
2011-06-14 Ferruccio Guidisome restructuring
2011-06-14 Ferruccio Guidimore lemmas to prove and a correction in subst
2011-06-13 Ferruccio Guidimore notation and one more lemma to prove :(
2011-06-13 Ferruccio Guidireductions rules and one lemma
2011-06-12 Ferruccio Guidimore properties of relocation
2011-06-10 Wilmer RicciottiMulti-user matita: changed the status object to include...
2011-06-09 Wilmer RicciottiFixes bugs in the Matitaweb UI.
2011-06-08 Wilmer RicciottiFix for internet explorer (but still works badly).
2011-06-08 Wilmer RicciottiCosmetic changes.
2011-06-08 Wilmer RicciottiFixed a bug in the retract command of Matitaweb.
2011-06-08 Wilmer RicciottiLogo for use in matitaweb.
2011-06-08 Wilmer RicciottiRemoved dependency of Matitaweb from GTK libraries.
2011-06-07 Ferruccio Guidi- we removed the reduction-related item categorization
2011-06-07 Wilmer RicciottiRemoved hardcoded include paths from matitadaemon.
2011-06-07 Wilmer RicciottiSome changes in the Makefile for matitaweb.
2011-06-07 Wilmer RicciottiFixes record projections (see matita 1.0 branch)
next