]> matita.cs.unibo.it Git - helm.git/shortlog
helm.git
2004-02-17 Claudio Sacerdoti... All daemons are now run in their .opt version.
2004-02-17 Claudio Sacerdoti... Any residual reference to tomcat and servlets changed...
2004-02-17 Claudio Sacerdoti... - double_type_of: sort_of_prod modified to expect also...
2004-02-17 Claudio Sacerdoti... triciclo.conf.xml ==> gTopLevel.conf.xml
2004-02-16 Claudio Sacerdoti... More daemons ported to Helm_registry.
2004-02-16 Claudio Sacerdoti... drawGraph ported to Helm_registry.
2004-02-16 Claudio Sacerdoti... Porting of uriSetQueue to Helm_registry.
2004-02-16 Claudio Sacerdoti... proofChecker ported to Helm_registry
2004-02-16 Claudio Sacerdoti... - Ported to latest version of Helm_registry
2004-02-16 Claudio Sacerdoti... - Uwobo ported to Helm_registry
2004-02-16 Claudio Sacerdoti... Cached moved to /tmp/helm/cache.
2004-02-16 Claudio Sacerdoti... Ported to Helm_registry.
2004-02-16 Claudio Sacerdoti... ...
2004-02-16 Claudio Sacerdoti... ...
2004-02-16 Stefano Zacchirolibugfix: top level keys now should work
2004-02-16 Claudio Sacerdoti... - Configuration file moved to /projects/helm/etc.
2004-02-16 Claudio Sacerdoti... - triciclo.conf.xml.sample ported to the latest version...
2004-02-16 Stefano Zacchiroli- more structured configuration file
2004-02-16 Stefano Zacchirolitypo fixed (unbalanced parens)
2004-02-16 Stefano Zacchiroliadded ocamlinit target which creates a .ocamlinit file
2004-02-16 Stefano Zacchirolisolved a precedence issue between binders and arrows
2004-02-16 Stefano Zacchirolido not use tex notation per default (used only by tex...
2004-02-16 Stefano Zacchiroliuse BoxPp
2004-02-16 Stefano Zacchiroli- added arrow notation
2004-02-13 Ferruccio Guidipatched
2004-02-13 Stefano Zacchiroliinductive type ident optional in mutcase
2004-02-13 Stefano Zacchiroliadded regtest for optional inductive type on mutcase
2004-02-13 Stefano Zacchirolis/pcre/str/
2004-02-13 Andrea Aspertinew (box based) pretty printer
2004-02-13 Stefano Zacchirolisplit configure.ac in two parts: ocaml and gTopLevel
2004-02-13 Stefano Zacchiroliadded sample configuration file
2004-02-13 Stefano Zacchiroli- added support for variable interpolation
2004-02-12 Ferruccio Guidipatched for *.cmx
2004-02-12 Ferruccio Guidinew .depend files
2004-02-12 Stefano Zacchiroliremoved some anciente debugging messages
2004-02-12 Claudio Sacerdoti... libraries-complete.ps:
2004-02-12 Claudio Sacerdoti... libraries-complete.ps: the internal libraries are now...
2004-02-12 Claudio Sacerdoti... Added new target libraries-complete.ps (with also all...
2004-02-11 Claudio Sacerdoti... Example configuration committed.
2004-02-11 Claudio Sacerdoti... Ported to Http_registry and to HelmLogger.
2004-02-11 Stefano Zacchiroligetter's revolution (now uses backend in ocaml/getter)
2004-02-11 Claudio Sacerdoti... Ported to Helm_registry.
2004-02-11 Stefano Zacchirolibugfix: auto_disambiguation is not considered for searc...
2004-02-11 Claudio Sacerdoti... - script.sh removed from CVS. script.sh.sample added...
2004-02-11 Stefano Zacchirolifixed typo
2004-02-11 Stefano Zacchirolinew logger
2004-02-11 Stefano Zacchirolinew getter, logger, and the hell
2004-02-11 Stefano Zacchirolinew logger, getter, and the hell
2004-02-11 Stefano Zacchirolisupport for subst
2004-02-11 Stefano Zacchirolinew metas (getter's backend, registry, logger, and...
2004-02-11 Stefano Zacchiroliported to new getter (backend)
2004-02-11 Stefano Zacchiroliported to helm registry
2004-02-11 Stefano Zacchiroliported to new logger
2004-02-11 Stefano Zacchiroliuse debug_print in a debugging message
2004-02-11 Stefano Zacchiroli- getter revolution: split backend and frontend (this...
2004-02-11 Stefano Zacchiroli- split away gtk logger
2004-02-11 Stefano Zacchiroliadded some debugging messages
2004-02-11 Claudio Sacerdoti... A type checking error report now prints also the metasenv.
2004-02-11 Claudio Sacerdoti... added target *.opt (e.g. test.opt, librarytest.opt...
2004-02-11 Claudio Sacerdoti... - make *opt fixed
2004-02-11 Claudio Sacerdoti... Big changes:
2004-02-11 Claudio Sacerdoti... Added copyright notice.
2004-02-10 Claudio Sacerdoti... Explicit Named Substitutions now supported.
2004-02-10 Claudio Sacerdoti... CicCache ==> CicEnvironment (in testlibrary.ml)
2004-02-10 Claudio Sacerdoti... - fixed final log reporting (that was broken by one...
2004-02-10 Claudio Sacerdoti... Bug fixed: when an axiom was asked, an exception was...
2004-02-10 Ferruccio Guidipatched
2004-02-10 Claudio Sacerdoti... Only applications whose head was a constant were eta...
2004-02-10 Claudio Sacerdoti... Bug fixed: checking inductive type declarations with...
2004-02-10 Stefano Zacchiroliadded "'" as a valid (continuation) identifier character
2004-02-09 Claudio Sacerdoti... Added flag ?eta_fix:bool to acic_object_of_cic_object.
2004-02-09 Stefano Zacchiroliadded thread entry
2004-02-09 Stefano Zacchiroliadded netstring and pxp deps
2004-02-09 Stefano Zacchirolihelm-thread's META
2004-02-09 Stefano Zacchirolithread library (actually contains just ThreadSafe module)
2004-02-09 Stefano Zacchiroli- added environment variable overriding
2004-02-09 Claudio Sacerdoti... sort_of_prod now thinks that a "sort metavariable"...
2004-02-09 Claudio Sacerdoti... Added is_closed.
2004-02-09 Stefano Zacchirolisplit into two major parts:
2004-02-09 Stefano Zacchirolibumped version (tag soon)
2004-02-09 Stefano Zacchirolino longer use marshalled table for unicode macros
2004-02-09 Stefano Zacchiroliuse CicAstPp
2004-02-09 Claudio Sacerdoti... eat_prods now uses mk_implicit_type.
2004-02-07 Claudio Sacerdoti... - Added mk_implicit_sort.
2004-02-07 Claudio Sacerdoti... Added mk_implicit_sort.
2004-02-07 Claudio Sacerdoti... A better (but yet not empty) metasenv is now returned.
2004-02-07 Claudio Sacerdoti... sort_of_prod: the second term, when it is a meta, was...
2004-02-07 Stefano Zacchiroli- added options "-vars" and "-varsprefix"
2004-02-07 Stefano Zacchirolichanged deps since testlibrary now uses (minimally...
2004-02-07 Stefano Zacchirolirebuilt
2004-02-06 Claudio Sacerdoti... sort metavariables are now generated in an empty canoni...
2004-02-06 Stefano Zacchiroliadded annotations to Cic.Implicit
2004-02-06 Stefano Zacchiroliuse ledit for debugging
2004-02-06 Claudio Sacerdoti... Comments (notes) removed.
2004-02-06 Claudio Sacerdoti... Code riorganization.
2004-02-06 Stefano Zacchiroliadded Format-library-friendly pretty printers defined...
2004-02-06 Stefano Zacchiroliadded -g flag to ocamlc per default
2004-02-06 Stefano Zacchirolitextual term editor is now the default one
2004-02-06 Stefano Zacchiroliignore .debug_script (used by Makefile's debug target)
2004-02-06 Stefano Zacchiroli- split regtest/testlibrary/gTopLevel objects so that...
next