]> matita.cs.unibo.it Git - helm.git/shortlog
helm.git
2011-10-03 matitawebMatitaweb file flag test.
2011-10-03 matitawebcommit by user andrea
2011-10-03 matitawebcommit by user andrea
2011-10-02 Ferruccio Guidi- xhtbl.css is ready!
2011-09-30 matitawebMatitaweb: test commit.
2011-09-30 matitawebMatitaweb: test commit.
2011-09-30 matitawebMatitaweb: test commit.
2011-09-30 matitawebMatitaweb: test commit.
2011-09-30 Wilmer RicciottiMatitaweb: Library test.
2011-09-30 matitaweb...
2011-09-30 Wilmer RicciottiMatitaweb: Some bugfixes concerning file flags.
2011-09-30 matitawebMatitaweb:
2011-09-29 Ferruccio Guidistill new colors ...
2011-09-29 Ferruccio Guidibugfix in one of the new colors :)
2011-09-29 Ferruccio Guidibugfix in remote update
2011-09-29 Ferruccio Guidinew colors for the crux ...
2011-09-29 matitawebTutorial update.
2011-09-29 matitawebTutorial di Matita (lupo, capra, cavoli)
2011-09-26 Claudio Sacerdoti... Not well understood patch: an assert false did occur...
2011-09-22 Ferruccio Guidi- the confluence of context-senstitive parallel reducti...
2011-09-22 Wilmer RicciottiMatitaweb: Fixed a bug which caused matita to forget...
2011-09-21 Andrea AspertiMap in NCicUtils now takes an optional boolea to disabl...
2011-09-21 matitaweb1) removed many debug prints
2011-09-20 Wilmer RicciottiMatitaweb: disabled many verbose debug prints.
2011-09-20 Andrea AspertiThe Blob is not abstracted on the context any more.
2011-09-18 Ferruccio Guidisome improvements about the partial unfold on terms...
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
next