]> matita.cs.unibo.it Git - helm.git/shortlog
helm.git
2011-10-17 matitawebcommit by user lroversi
2011-10-14 matitawebcommit by user andrea
2011-10-14 matitawebcommit by user andrea
2011-10-14 matitawebcommit by user andrea
2011-10-14 matitawebcommit by user andrea
2011-10-14 matitawebcommit by user andrea
2011-10-14 matitawebMade a copy of basics/list.ma as a base for chapter 3.
2011-10-14 matitawebcommit by user andrea
2011-10-13 matitawebcommit by user enrico
2011-10-13 matitawebcommit by user andrea
2011-10-13 matitawebcommit by user andrea
2011-10-13 matitawebcommit by user andrea
2011-10-13 matitawebcommit by user andrea
2011-10-12 matitawebcommit by user andrea
2011-10-12 Wilmer RicciottiMatitaweb: Fixed netplex.conf (which was changed by...
2011-10-12 Wilmer RicciottiMatitaweb: svn now skips empty commits.
2011-10-12 matitawebcommit by user andrea
2011-10-12 Wilmer RicciottiMatitaweb: svn now skips empty add.
2011-10-12 matitawebcommit by user lroversi
2011-10-12 matitawebAdministrative commit restoring the repository to the...
2011-10-12 matitawebcommit by user ricciott
2011-10-12 Ferruccio Guiditheory of ltpss completed!
2011-10-12 matitawebcommit by user andrea
2011-10-12 matitawebcommit by user andrea
2011-10-12 matitawebcommit by user andrea
2011-10-11 Ferruccio Guidiupdate ...
2011-10-11 Ferruccio Guidiupdate ...
2011-10-11 Ferruccio Guidi- cpr_lsubs_conf proved! (was pr2_change)
2011-10-11 matitawebcommit by user andrea
2011-10-11 matitawebcommit by user andrea
2011-10-11 matitawebcommit by user andrea
2011-10-11 matitawebcommit by user andrea
2011-10-11 matitawebcommit by user andrea
2011-10-11 matitawebcommit by user andrea
2011-10-11 Ferruccio Guidirefactoring completed!
2011-10-11 Wilmer RicciottiMatitaweb: Fixed long-time bug with dependencies and...
2011-10-11 matitawebChapter 2
2011-10-11 matitawebcommit by user utente1
2011-10-11 matitawebcommit by user andrea
2011-10-11 Claudio Sacerdoti... WARNING: major experimental change.
2011-10-11 Claudio Sacerdoti... New version (by Wilmer). The main difference w.r.t...
2011-10-10 Ferruccio Guidirefactoring ...
2011-10-10 Ferruccio Guidirefactoring ...
2011-10-10 Ferruccio Guidicpr_cast closed! (after a bugfix in the "destruct"...
2011-10-10 Claudio Sacerdoti... 1. nInversion/nDestruct ported to work with jmeq properly
2011-10-10 Claudio Sacerdoti... Debugging code commented out.
2011-10-10 Andrea AspertiPorted changes amde on the main branch:
2011-10-10 Andrea Asperti- Reintroduction of a failure chache
2011-10-07 matitawebMatitaweb: fixed bugs in commit.
2011-10-07 matitawebcommit by user utente3
2011-10-07 matitawebcommit by user utente2
2011-10-06 Wilmer RicciottiMatitaweb: added a titlebar to the GUI.
2011-10-06 Wilmer RicciottiMatitaweb: more changes to commit (now almost usable).
2011-10-05 Wilmer Ricciotticommit by user utente
2011-10-05 matitawebMatitaweb: several improvements to svn interface.
2011-10-03 Ferruccio Guidinews update
2011-10-03 Ferruccio Guiditypos ...
2011-10-03 Ferruccio Guidi- first version of xhtbl
2011-10-03 Ferruccio Guidi- new stylesheets for xhtml pages (ld_web)
2011-10-03 Wilmer RicciottiMatitaweb: test commit.
2011-10-03 Wilmer RicciottiMatitaweb: commit test.
2011-10-03 Wilmer RicciottiMatitaweb: commit test.
2011-10-03 Wilmer RicciottiMatitaweb: commit test.
2011-10-03 matitawebcommit by user andrea
2011-10-03 Wilmer RicciottiMatitaweb: implementation of file-flagging for keeping...
2011-10-03 matitawebnew version
2011-10-03 matitawebcommit by user andrea
2011-10-03 matitawebcommit by user andrea
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
next