]> matita.cs.unibo.it Git - helm.git/shortlog
helm.git
2011-09-17 Wilmer RicciottiFixes a bug (introduced in the previous revision) which...
2011-09-16 Wilmer RicciottiThis commit patches the environment and the library...
2011-09-16 matitawebFile uploading
2011-09-16 matitawebmah...
2011-09-16 matitawebThe tutorial on line.
2011-09-16 matitawebThe tutorial on line
2011-09-15 Ferruccio Guidiunfold on terms completed!
2011-09-12 Ferruccio Guidiremote update by make
2011-09-12 Ferruccio Guidiadded a pointer to helena in Wiedijk's list
2011-09-12 Ferruccio Guidiupdate
2011-09-12 Wilmer RicciottiAdded debug print in NCicLibrary.serialize.
2011-09-12 Ferruccio Guidibug fix in xslt: missing ld namespace
2011-09-12 Ferruccio Guidirefactoring completed!
2011-09-12 matitawebcommit by user utente1
2011-09-11 Ferruccio Guidibug fix in the dtd
2011-09-11 Ferruccio Guidirefactoring and regeneration of lddl
2011-09-11 Ferruccio Guidithe refactoring continues ...
2011-09-11 Ferruccio Guidirefactoring ...
2011-09-09 Wilmer RicciottiMatitaweb: layout change in the matitaweb inteface...
2011-09-09 Ferruccio Guidi- news update
2011-09-08 Ferruccio Guidi- helm server url updated
2011-09-08 Ferruccio Guidiinitial commit of lambda_delta web site
2011-09-08 Ferruccio Guidi- support for transitive closures started
2011-09-08 matitawebMatitaweb: fixed "new file".
2011-09-08 Wilmer RicciottiMatitaweb: New File functionality.
2011-09-08 matitawebMatitaweb: Save as...
2011-09-08 matitawebMatitaweb: makefile reverted to old (working) version.
2011-09-08 Wilmer RicciottiMatitaweb: first attempt at "Save as".
2011-09-08 matitawebMatitaweb: more changes to file selection dialog box.
2011-09-08 Wilmer RicciottiMatitaweb: changes to file selection dialog box.
2011-09-08 matitawebMatitaweb: changes to file selection dialog box.
2011-09-08 Wilmer RicciottiMatitaweb: changes in file selection dialog box.
2011-09-08 matitawebMatitaweb: Changes to the file selection dialog box.
2011-09-08 Wilmer RicciottiMatitaweb: changes to file selection dialog box.
2011-09-08 Wilmer RicciottiMatitaweb: Some changes in file selection dialogbox.
2011-09-07 matitaweb...
2011-09-07 matitawebChanged behavior in matitaweb.js, function retrieveFile...
2011-09-07 matitaweblogic.ma is now enriched using the correct syntax.
2011-09-07 Wilmer RicciottiChanged redirect behaviour of the daemon (incompatibili...
2011-09-06 Ferruccio Guidi- confluence of context-free reduction on terms (tpr...
2011-09-06 Wilmer RicciottiWhen the user db is not found, matitaweb now creates...
2011-09-06 matitawebRemoved ghost copy of a MatitaScriptLexer (moved from
2011-09-06 Wilmer RicciottiFirst attempt at svn commit of developments.
2011-09-05 Ferruccio Guidi- the substitution lemma is proved!
2011-09-05 Wilmer Ricciotticommit by user utente
2011-09-05 Wilmer Ricciotticommit by user utente
2011-09-02 Ferruccio Guidi- the theory of parallel substitution of local environm...
2011-08-29 Ferruccio Guidi- we shared the atomic term constructions
2011-08-27 Ferruccio Guidi- the shift function is now defined and cpr_shift_fwd...
2011-08-25 Ferruccio Guidi- weakening leq, we proved cpr_bind_dx
2011-08-24 Ferruccio Guidione reduction rule (tpr) was redundant
2011-08-23 Ferruccio Guidi- confluence of parallel substitution (tps) closed...
2011-08-22 Ferruccio Guidiwe now use non-telescopic substitution in parallel...
2011-08-19 Ferruccio Guidi- tentative definition of lcpr (contex-sensitive parall...
2011-08-18 Ferruccio Guidithe refactoring was not really complete
2011-08-18 Ferruccio Guidirefactoring completed
2011-08-18 Ferruccio Guidi- some refactoring
2011-08-18 Ferruccio Guidi- matitaclean greatly improved but ...
2011-08-10 Ferruccio Guidirefactoring completed!
2011-08-10 Ferruccio Guidithe refactoring continues ...
2011-08-10 Ferruccio Guidithe refactoring continues ...
2011-08-10 Ferruccio Guidilambda-delta must be a contrib
2011-08-10 Ferruccio Guidilambda-delta must be a contrib
2011-08-10 Ferruccio Guidisome refactoring
2011-08-09 Ferruccio Guidiconfluence of parallel substitution (tps) started ...
2011-08-08 Ferruccio Guidi- tps_tpr closed! (substitution is a reduction)
2011-08-07 Ferruccio Guidi- cpr is now defined and the cpr_flat propery is proved...
2011-08-06 Ferruccio Guidi- transitivity of parallel telescopic substitution...
2011-08-03 Ferruccio Guidithe generation of the multiple conjunction is now suppo...
2011-07-29 Ferruccio Guidiconfluence of tpr completed!
2011-07-28 Ferruccio Guidiconfluence: case 13 closed
2011-07-28 Ferruccio Guidixoa: new binary for the generation of multiple logical...
2011-07-27 Ferruccio Guidi- xoa: bug fix and improvement
2011-07-26 Ferruccio Guiditpr: more inversion lemmas and a main property stated
2011-07-25 Ferruccio Guidilift_weight: bug fix
2011-07-25 Ferruccio Guidi- inversion lemmas for tpr completed!
2011-07-24 Ferruccio Guidi- some renaming
2011-07-24 Ferruccio Guidi- sone refactoring
2011-07-22 Ferruccio Guidiconfluence of reduction started ...
2011-07-21 Ferruccio Guidione main propery of drop closed, one added
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.
next