projects / helm.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
helm.git
2004-05-17 Matteo SelmiAdded a filter for uris in tactic "auto". commit | commitdiff | tree | snapshot
2004-05-17 Stefano ZacchiroliAdded support for xml base(s) URL and URI. The getter... commit | commitdiff | tree | snapshot
2004-05-17 Stefano Zacchirolifirst check in of statefulProofEngine commit | commitdiff | tree | snapshot
2004-05-17 Stefano Zacchirolibugfix: remove trailing slashes from dtd_base_urls commit | commitdiff | tree | snapshot
2004-05-13 Ferruccio Guidi- some code patched commit | commitdiff | tree | snapshot
2004-05-13 Stefano Zacchirolichanged proofStatus so that uri component is optional... commit | commitdiff | tree | snapshot
2004-05-10 Andrea Asperti*** empty log message *** commit | commitdiff | tree | snapshot
2004-05-10 Andrea AspertiAdding file newConstraint commit | commitdiff | tree | snapshot
2004-05-10 Andrea AspertiAdding file match_concl commit | commitdiff | tree | snapshot
2004-05-04 Stefano Zacchirolisnapshot (notably: first working version of the console) commit | commitdiff | tree | snapshot
2004-05-04 Stefano Zacchiroli- moved up in the grammar precedences command entry... commit | commitdiff | tree | snapshot
2004-05-04 Stefano Zacchiroliremoved traliling dot in command pretty printer, now... commit | commitdiff | tree | snapshot
2004-04-30 Stefano Zacchiroliadded Abort and Check commands commit | commitdiff | tree | snapshot
2004-04-30 Stefano Zacchiroliembedded commands ast into tacticals ast commit | commitdiff | tree | snapshot
2004-04-30 Stefano Zacchiroli- moved command as sub-entries of tactical grammars... commit | commitdiff | tree | snapshot
2004-04-30 Stefano Zacchirolisnapshot commit | commitdiff | tree | snapshot
2004-04-29 Stefano Zacchiroli- moved applyTransformation initialization code to... commit | commitdiff | tree | snapshot
2004-04-29 Stefano Zacchirolimoved here initialization code (previously in gTopLevel... commit | commitdiff | tree | snapshot
2004-04-29 Stefano Zacchirolisnapshot commit | commitdiff | tree | snapshot
2004-04-29 Stefano Zacchiroli- added a configuration variable for selecting between... commit | commitdiff | tree | snapshot
2004-04-28 Stefano Zacchirolisnapshot commit | commitdiff | tree | snapshot
2004-04-28 Stefano Zacchiroliadded a TODO comment commit | commitdiff | tree | snapshot
2004-04-28 Stefano Zacchirolirebuilt commit | commitdiff | tree | snapshot
2004-04-28 Stefano Zacchiroliadded extra "id" parameter for input_or_locate_uri... commit | commitdiff | tree | snapshot
2004-04-28 Stefano Zacchiroli- split logic operators away from aritmetic ones so... commit | commitdiff | tree | snapshot
2004-04-28 Stefano Zacchiroliremoved file:// prefix from local_library key, hopefull... commit | commitdiff | tree | snapshot
2004-04-23 Stefano Zacchirolisnapshot commit | commitdiff | tree | snapshot
2004-04-23 Claudio Sacerdoti... gt URL pointed to lt commit | commitdiff | tree | snapshot
2004-04-23 Enrico TassiUniverses introduction commit | commitdiff | tree | snapshot
2004-04-23 Claudio Sacerdoti... rdfly hardcoded URL changed from mowgli.cs.unibo.it... commit | commitdiff | tree | snapshot
2004-04-22 Claudio Sacerdoti... expandasking parameter passed to UWOBO. commit | commitdiff | tree | snapshot
2004-04-22 Stefano Zacchirolisnapshot commit | commitdiff | tree | snapshot
2004-04-22 Claudio Sacerdoti... mysql_connection.* keys added commit | commitdiff | tree | snapshot
2004-04-22 Claudio Sacerdoti... mathql_interpreter.mysql_connection.* keys added. commit | commitdiff | tree | snapshot
2004-04-22 Stefano Zacchiroliadded (and used) some type shorthands commit | commitdiff | tree | snapshot
2004-04-22 Stefano Zacchiroli- added some type shorthands commit | commitdiff | tree | snapshot
2004-04-22 Stefano Zacchirolirebuit commit | commitdiff | tree | snapshot
2004-04-22 Claudio Sacerdoti... Patches to generate ?1 : ?2 : Type in place of ?1 ... commit | commitdiff | tree | snapshot
2004-04-22 Enrico TassiBig bug fixed: in the case t <?= ?1, the instantiation... commit | commitdiff | tree | snapshot
2004-04-22 Enrico Tassifourier.mli addedto interface files. commit | commitdiff | tree | snapshot
2004-04-22 Stefano Zacchirolisnapshot commit | commitdiff | tree | snapshot
2004-04-22 Stefano Zacchiroliadded /help method (needed by respawner) commit | commitdiff | tree | snapshot
2004-04-22 Claudio Sacerdoti... IMPLEMENTATION_FILES now generated from INTERFACE_FILES. commit | commitdiff | tree | snapshot
2004-04-22 Stefano Zacchiroliadded .cvsignore commit | commitdiff | tree | snapshot
2004-04-21 Stefano Zacchirolidetects and uses {ocamlc,ocamlopt}.opt when available commit | commitdiff | tree | snapshot
2004-04-21 Stefano Zacchirolidetect and use {ocamlc,ocamlopt}.opt when they are... commit | commitdiff | tree | snapshot
2004-04-21 Stefano Zacchiroliexported term_of_uri commit | commitdiff | tree | snapshot
2004-04-21 Stefano Zacchiroliadded helmLibraryObjects.mli mention commit | commitdiff | tree | snapshot
2004-04-21 Stefano Zacchiroliadded .mli commit | commitdiff | tree | snapshot
2004-04-20 Stefano Zacchiroligot rid of a ~status label commit | commitdiff | tree | snapshot
2004-04-20 Stefano Zacchiroligot rid of ~status label commit | commitdiff | tree | snapshot
2004-04-20 Stefano Zacchiroligot rid of ~status label so that tactics can now be... commit | commitdiff | tree | snapshot
2004-04-20 Stefano Zacchiroliadded ocamlfind library checks to configure.ac commit | commitdiff | tree | snapshot
2004-04-20 Stefano Zacchirolirenamed mathita to matita commit | commitdiff | tree | snapshot
2004-04-20 Stefano Zacchirolisnapshot commit | commitdiff | tree | snapshot
2004-04-19 Stefano Zacchiroliignore Makefile since now it's generated by configure commit | commitdiff | tree | snapshot
2004-04-19 Stefano Zacchiroliadded Makefile.in commit | commitdiff | tree | snapshot
2004-04-19 Stefano Zacchirolireorganized metas so that pxp is references only throug... commit | commitdiff | tree | snapshot
2004-04-19 Stefano Zacchiroliadded hbugs' (client) meta commit | commitdiff | tree | snapshot
2004-04-19 Stefano Zacchiroligeneralized META.* ignoring commit | commitdiff | tree | snapshot
2004-04-19 Stefano Zacchiroli- reordered modules so that pxp could be used as entry... commit | commitdiff | tree | snapshot
2004-04-19 Stefano Zacchiroli- use PxpHelmConf commit | commitdiff | tree | snapshot
2004-04-19 Stefano Zacchiroli- use PxpHelmConf commit | commitdiff | tree | snapshot
2004-04-19 Stefano Zacchiroliuse PxpHelmConf commit | commitdiff | tree | snapshot
2004-04-19 Stefano Zacchiroliadded dep on Helm_registry commit | commitdiff | tree | snapshot
2004-04-19 Stefano Zacchiroliuse PxpHelmConf module commit | commitdiff | tree | snapshot
2004-04-19 Stefano Zacchiroli- use PxpHelmConf commit | commitdiff | tree | snapshot
2004-04-19 Stefano Zacchiroli- embedded ClientHTTP module (not very nice, but Client... commit | commitdiff | tree | snapshot
2004-04-19 Stefano Zacchiroliadded ExtThread module, ex Hbugs_deity (a Thread module... commit | commitdiff | tree | snapshot
2004-04-19 Stefano Zacchiroliinjected hbugs under ocaml/ dir commit | commitdiff | tree | snapshot
2004-04-19 Stefano Zacchirolimoved hbugs under ocaml/ commit | commitdiff | tree | snapshot
2004-04-19 Stefano Zacchirolifixed a typo (inside a comment) commit | commitdiff | tree | snapshot
2004-04-16 Claudio Sacerdoti... test_equality_only was not used in sort comparison. commit | commitdiff | tree | snapshot
2004-04-16 Stefano Zacchiroliuse respawner commit | commitdiff | tree | snapshot
2004-04-16 Stefano Zacchirolichanged logging message commit | commitdiff | tree | snapshot
2004-04-16 Stefano Zacchiroliremoved deprecated uwobo_forever.sh commit | commitdiff | tree | snapshot
2004-04-16 Stefano Zacchiroliremoved tedious "_mowgli" postfix commit | commitdiff | tree | snapshot
2004-04-16 Stefano Zacchiroliuse new daemon_respawner.sh commit | commitdiff | tree | snapshot
2004-04-16 Stefano Zacchirolifixed some typos in sample init.d commit | commitdiff | tree | snapshot
2004-04-16 Stefano Zacchiroliadded generic daemon respawner commit | commitdiff | tree | snapshot
2004-04-16 Stefano Zacchiroliscript deprecated commit | commitdiff | tree | snapshot
2004-04-16 Stefano Zacchiroliadded newline to log when log_file is in use commit | commitdiff | tree | snapshot
2004-04-16 Stefano Zacchiroli- addead autoconf-iguration. Actually it only set the... commit | commitdiff | tree | snapshot
2004-04-16 Stefano Zacchiroli- use new logger interface commit | commitdiff | tree | snapshot
2004-04-16 Stefano Zacchiroli- rewritten http_getter logger interface commit | commitdiff | tree | snapshot
2004-04-16 Stefano Zacchiroli- added sample usage of get_opt method commit | commitdiff | tree | snapshot
2004-04-15 Andrea AspertiMetasenv added as parameter to eta_fixing. commit | commitdiff | tree | snapshot
2004-04-15 Stefano Zacchirolis/dtd_base_url/dtd_base_urls/ commit | commitdiff | tree | snapshot
2004-04-15 Stefano Zacchiroli- better pretty printing of exceptions (added red color) commit | commitdiff | tree | snapshot
2004-04-15 Stefano Zacchiroli- fixed dtd_base_urls implementation commit | commitdiff | tree | snapshot
2004-04-15 Stefano Zacchiroli- better pretty printing on /update commit | commitdiff | tree | snapshot
2004-04-15 Stefano Zacchiroliadded string_of_html_tag (plain text pretty printer... commit | commitdiff | tree | snapshot
2004-04-15 Stefano Zacchiroliadded support for multiple dtd_base_urls commit | commitdiff | tree | snapshot
2004-04-14 Ferruccio Guidiupdating all sections commit | commitdiff | tree | snapshot
2004-04-14 Ferruccio Guidipatched commit | commitdiff | tree | snapshot
2004-04-14 Claudio Sacerdoti... Bug fixed: the following happened. commit | commitdiff | tree | snapshot
2004-04-14 Stefano Zacchiroliadded exists_meta commit | commitdiff | tree | snapshot
2004-04-14 Ferruccio Guidipatched commit | commitdiff | tree | snapshot
2004-04-13 Ferruccio Guidiupdating the introduction commit | commitdiff | tree | snapshot
2004-04-09 Stefano Zacchiroliported to latest polymorphic variant types commit | commitdiff | tree | snapshot
next
Unnamed repository; edit this file 'description' to name the repository.