]> matita.cs.unibo.it Git - helm.git/shortlog
helm.git
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)
2011-06-07 Wilmer RicciottiMatitaweb daemon ported from Ocaml Http to Ocamlnet...
2011-06-07 Claudio Sacerdoti... This can happen: when you use nodelta.
2011-06-06 Claudio Sacerdoti... Minor changes because of the new, weaker (but much...
2011-06-06 Claudio Sacerdoti... Bug fixed: trailing ' in names were not removed when...
2011-06-06 Ferruccio GuidiWe reintroduce the distinction between binding and...
2011-06-06 Claudio Sacerdoti... Major speed-up:
2011-06-06 Wilmer RicciottiThis update uses XML for client-server communication...
2011-06-03 Ferruccio Guidi- we introduce extended existentials (generated)
2011-06-03 Ferruccio GuidiMax width overflows, which cause auto to fail, are...
2011-06-03 Wilmer RicciottiFixed a bug that prevented record projections from...
next