]> matita.cs.unibo.it Git - helm.git/shortlog
helm.git
2004-05-24 Stefano Zacchiroliremoved spurious messages
2004-05-24 Stefano Zacchiroli- ported to latest API
2004-05-24 Stefano Zacchiroli- added basic_auth.ml example
2004-05-24 Stefano Zacchirolidebian snapshot (towards a release)
2004-05-24 Stefano Zacchiroliadded OO interface
2004-05-22 Luca Padovani* preliminary version of profile management
2004-05-22 Luca Padovani* updated respond_error messages after API change in...
2004-05-21 Matteo SelmiAdded a sort function to decide the order of theorems...
2004-05-20 Stefano Zacchiroliadded file locking while writing configuration to file...
2004-05-20 Stefano Zacchiroliopen Helm_registry per default
2004-05-20 Stefano Zacchirolibumped copyright years
2004-05-20 Stefano ZacchiroliChanged mapping keys <-> environment variables, mixed...
2004-05-20 Stefano Zacchiroliported to latest ocaml-http API
2004-05-20 Stefano Zacchiroliported to latest ocaml-http API
2004-05-20 Stefano Zacchirolireverted code parameter on respond function to its...
2004-05-20 Stefano Zacchirolirebuilt
2004-05-20 Stefano Zacchiroliported to latest ocaml-http API
2004-05-20 Stefano Zacchiroliwritten entry for 0.0.9
2004-05-20 Stefano Zacchirolirestyled API so that respond_* are statically typechecked
2004-05-20 Stefano Zacchiroli- changed API so that respond_* are statically type...
2004-05-20 Stefano Zacchiroliadded support for HEAD requests
2004-05-20 Stefano Zacchirolihttp basic authentication example
2004-05-20 Stefano Zacchiroliadded support for HTTP (Basic) authentication
2004-05-20 Stefano Zacchiroli- added support for HTTP (Basic) authentication
2004-05-20 Luca Padovani* hbugs moved in ocaml
2004-05-20 Stefano Zacchiroliadded some nested sections in order to test "ls" method
2004-05-20 Stefano Zacchiroli- added "has" method
2004-05-20 Stefano Zacchiroliadded helm-pxp, now needed
2004-05-20 Stefano Zacchiroliexpanded content of old topfind
2004-05-20 Stefano Zacchirolino longer needed
2004-05-20 Stefano Zacchiroliadded iterators over registry contents (fold, iter...
2004-05-19 Claudio Sacerdoti... Tempative version: every link is now opened in a new...
2004-05-19 Claudio Sacerdoti... Bug fixed: middle-clicking over links in the listing...
2004-05-19 Claudio Sacerdoti... Tempative version: every link is now opened in a new...
2004-05-19 Andrea Aspertifirst moogle template checkin
2004-05-18 Claudio Sacerdoti... * the input of the function mkMetaTheoryURL must an...
2004-05-18 Claudio Sacerdoti... * the URI passed to the rdfly deamon is now CICURI...
2004-05-18 Claudio Sacerdoti... * [Luca] string concatenation now made using String...
2004-05-18 Andrea AspertiNuova implementazione di Auto "breadth-first".
2004-05-18 Claudio Sacerdoti... xml:base and helm:base are now generated only for theories.
2004-05-18 Claudio Sacerdoti... * tactics/Makefile fixed (to remove duplicate .mli...
2004-05-18 Claudio Sacerdoti... Bug fixed: the xml:base URL and helm:base URI were...
2004-05-17 Matteo SelmiAdded a filter for uris in tactic "auto".
2004-05-17 Stefano ZacchiroliAdded support for xml base(s) URL and URI. The getter...
2004-05-17 Stefano Zacchirolifirst check in of statefulProofEngine
2004-05-17 Stefano Zacchirolibugfix: remove trailing slashes from dtd_base_urls
2004-05-13 Ferruccio Guidi- some code patched
2004-05-13 Stefano Zacchirolichanged proofStatus so that uri component is optional...
2004-05-10 Andrea Asperti*** empty log message ***
2004-05-10 Andrea AspertiAdding file newConstraint
2004-05-10 Andrea AspertiAdding file match_concl
2004-05-04 Stefano Zacchirolisnapshot (notably: first working version of the console)
2004-05-04 Stefano Zacchiroli- moved up in the grammar precedences command entry...
2004-05-04 Stefano Zacchiroliremoved traliling dot in command pretty printer, now...
2004-04-30 Stefano Zacchiroliadded Abort and Check commands
2004-04-30 Stefano Zacchiroliembedded commands ast into tacticals ast
2004-04-30 Stefano Zacchiroli- moved command as sub-entries of tactical grammars...
2004-04-30 Stefano Zacchirolisnapshot
2004-04-29 Stefano Zacchiroli- moved applyTransformation initialization code to...
2004-04-29 Stefano Zacchirolimoved here initialization code (previously in gTopLevel...
2004-04-29 Stefano Zacchirolisnapshot
2004-04-29 Stefano Zacchiroli- added a configuration variable for selecting between...
2004-04-28 Stefano Zacchirolisnapshot
2004-04-28 Stefano Zacchiroliadded a TODO comment
2004-04-28 Stefano Zacchirolirebuilt
2004-04-28 Stefano Zacchiroliadded extra "id" parameter for input_or_locate_uri...
2004-04-28 Stefano Zacchiroli- split logic operators away from aritmetic ones so...
2004-04-28 Stefano Zacchiroliremoved file:// prefix from local_library key, hopefull...
2004-04-23 Stefano Zacchirolisnapshot
2004-04-23 Claudio Sacerdoti... gt URL pointed to lt
2004-04-23 Enrico TassiUniverses introduction
2004-04-23 Claudio Sacerdoti... rdfly hardcoded URL changed from mowgli.cs.unibo.it...
2004-04-22 Claudio Sacerdoti... expandasking parameter passed to UWOBO.
2004-04-22 Stefano Zacchirolisnapshot
2004-04-22 Claudio Sacerdoti... mysql_connection.* keys added
2004-04-22 Claudio Sacerdoti... mathql_interpreter.mysql_connection.* keys added.
2004-04-22 Stefano Zacchiroliadded (and used) some type shorthands
2004-04-22 Stefano Zacchiroli- added some type shorthands
2004-04-22 Stefano Zacchirolirebuit
2004-04-22 Claudio Sacerdoti... Patches to generate ?1 : ?2 : Type in place of ?1 ...
2004-04-22 Enrico TassiBig bug fixed: in the case t <?= ?1, the instantiation...
2004-04-22 Enrico Tassifourier.mli addedto interface files.
2004-04-22 Stefano Zacchirolisnapshot
2004-04-22 Stefano Zacchiroliadded /help method (needed by respawner)
2004-04-22 Claudio Sacerdoti... IMPLEMENTATION_FILES now generated from INTERFACE_FILES.
2004-04-22 Stefano Zacchiroliadded .cvsignore
2004-04-21 Stefano Zacchirolidetects and uses {ocamlc,ocamlopt}.opt when available
2004-04-21 Stefano Zacchirolidetect and use {ocamlc,ocamlopt}.opt when they are...
2004-04-21 Stefano Zacchiroliexported term_of_uri
2004-04-21 Stefano Zacchiroliadded helmLibraryObjects.mli mention
2004-04-21 Stefano Zacchiroliadded .mli
2004-04-20 Stefano Zacchiroligot rid of a ~status label
2004-04-20 Stefano Zacchiroligot rid of ~status label
2004-04-20 Stefano Zacchiroligot rid of ~status label so that tactics can now be...
2004-04-20 Stefano Zacchiroliadded ocamlfind library checks to configure.ac
2004-04-20 Stefano Zacchirolirenamed mathita to matita
2004-04-20 Stefano Zacchirolisnapshot
2004-04-19 Stefano Zacchiroliignore Makefile since now it's generated by configure
2004-04-19 Stefano Zacchiroliadded Makefile.in
2004-04-19 Stefano Zacchirolireorganized metas so that pxp is references only throug...
next