]> matita.cs.unibo.it Git - helm.git/history - helm/ocaml
projects / helm.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
New handling of substitution:
[helm.git] / helm / ocaml /
2004-07-01 Stefano ZacchiroliNew handling of substitution: tree | commitdiff
2004-07-01 Stefano Zacchiroliadded (commented) benchmarking code for the disambiguat... tree | commitdiff
2004-06-28 Andrea Aspertiremoved a useless test on explicit substitutions on... tree | commitdiff
2004-06-28 Andrea Aspertiuse get_obj to retrieve cic objects instead of typecheck tree | commitdiff
2004-06-28 Andrea Aspertifixed typo tree | commitdiff
2004-06-28 Andrea Asperti- new implementation of the apply case in fo_unif using... tree | commitdiff
2004-06-18 Matteo SelmiCorrections to "auto" tactic tree | commitdiff
2004-06-18 Claudio Sacerdoti... elim_tac rewritten almost entirely. It is now based... tree | commitdiff
2004-06-18 Claudio Sacerdoti... Added new function compare_metasenvs. tree | commitdiff
2004-06-18 Claudio Sacerdoti... Comments changed. tree | commitdiff
2004-06-18 Claudio Sacerdoti... - In the case (?i args) vs term the term is now eta... tree | commitdiff
2004-06-18 Claudio Sacerdoti... Fourier URIs changed in V8. tree | commitdiff
2004-06-09 Claudio Sacerdoti... The normalization of URIs when the DB is empty (or... tree | commitdiff
2004-06-02 Enrico Tassifix for proofEngineTypes.mli tree | commitdiff
2004-06-01 Enrico Tassinew universes implementation tree | commitdiff
2004-05-31 Claudio Sacerdoti... theory:path/index.theory are not rewritten to theory... tree | commitdiff
2004-05-31 Matteo SelmiNew filtering function for "Auto" tactic using "just... tree | commitdiff
2004-05-30 Claudio Sacerdoti... Back compatibility code introduced: tree | commitdiff
2004-05-26 Claudio Sacerdoti... Bug fixed: ls?baseuri=(cic|theory):/a/ also returned... tree | commitdiff
2004-05-26 Stefano Zacchirolibugfix in /ls: removed double trailing "/" tree | commitdiff
2004-05-26 Stefano Zacchirolichanged /ls method so that regular expressions are... tree | commitdiff
2004-05-25 Matteo Selmiwritten a new sort function to postpone the resolution... tree | commitdiff
2004-05-24 Stefano Zacchiroliadded OO interface tree | commitdiff
2004-05-21 Matteo SelmiAdded a sort function to decide the order of theorems... tree | commitdiff
2004-05-20 Stefano Zacchiroliadded file locking while writing configuration to file... tree | commitdiff
2004-05-20 Stefano Zacchiroliopen Helm_registry per default tree | commitdiff
2004-05-20 Stefano ZacchiroliChanged mapping keys <-> environment variables, mixed... tree | commitdiff
2004-05-20 Stefano Zacchiroliported to latest ocaml-http API tree | commitdiff
2004-05-20 Stefano Zacchiroliadded some nested sections in order to test "ls" method tree | commitdiff
2004-05-20 Stefano Zacchiroli- added "has" method tree | commitdiff
2004-05-20 Stefano Zacchiroliadded helm-pxp, now needed tree | commitdiff
2004-05-20 Stefano Zacchiroliadded iterators over registry contents (fold, iter... tree | commitdiff
2004-05-18 Andrea AspertiNuova implementazione di Auto "breadth-first". tree | commitdiff
2004-05-18 Claudio Sacerdoti... xml:base and helm:base are now generated only for theories. tree | commitdiff
2004-05-18 Claudio Sacerdoti... * tactics/Makefile fixed (to remove duplicate .mli... tree | commitdiff
2004-05-18 Claudio Sacerdoti... Bug fixed: the xml:base URL and helm:base URI were... tree | commitdiff
2004-05-17 Matteo SelmiAdded a filter for uris in tactic "auto". tree | commitdiff
2004-05-17 Stefano ZacchiroliAdded support for xml base(s) URL and URI. The getter... tree | commitdiff
2004-05-17 Stefano Zacchirolifirst check in of statefulProofEngine tree | commitdiff
2004-05-17 Stefano Zacchirolibugfix: remove trailing slashes from dtd_base_urls tree | commitdiff
2004-05-13 Ferruccio Guidi- some code patched tree | commitdiff
2004-05-13 Stefano Zacchirolichanged proofStatus so that uri component is optional... tree | commitdiff
2004-05-10 Andrea Asperti*** empty log message *** tree | commitdiff
2004-05-10 Andrea AspertiAdding file newConstraint tree | commitdiff
2004-05-10 Andrea AspertiAdding file match_concl tree | commitdiff
2004-05-04 Stefano Zacchiroli- moved up in the grammar precedences command entry... tree | commitdiff
2004-05-04 Stefano Zacchiroliremoved traliling dot in command pretty printer, now... tree | commitdiff
2004-04-30 Stefano Zacchiroliadded Abort and Check commands tree | commitdiff
2004-04-30 Stefano Zacchiroliembedded commands ast into tacticals ast tree | commitdiff
2004-04-30 Stefano Zacchiroli- moved command as sub-entries of tactical grammars... tree | commitdiff
2004-04-29 Stefano Zacchirolimoved here initialization code (previously in gTopLevel... tree | commitdiff
2004-04-29 Stefano Zacchiroli- added a configuration variable for selecting between... tree | commitdiff
2004-04-28 Stefano Zacchiroliadded a TODO comment tree | commitdiff
2004-04-28 Stefano Zacchiroliadded extra "id" parameter for input_or_locate_uri... tree | commitdiff
2004-04-28 Stefano Zacchiroli- split logic operators away from aritmetic ones so... tree | commitdiff
2004-04-23 Claudio Sacerdoti... gt URL pointed to lt tree | commitdiff
2004-04-23 Enrico TassiUniverses introduction tree | commitdiff
2004-04-22 Claudio Sacerdoti... mathql_interpreter.mysql_connection.* keys added. tree | commitdiff
2004-04-22 Stefano Zacchiroliadded (and used) some type shorthands tree | commitdiff
2004-04-22 Stefano Zacchiroli- added some type shorthands tree | commitdiff
2004-04-22 Stefano Zacchirolirebuit tree | commitdiff
2004-04-22 Claudio Sacerdoti... Patches to generate ?1 : ?2 : Type in place of ?1 ... tree | commitdiff
2004-04-22 Enrico TassiBig bug fixed: in the case t <?= ?1, the instantiation... tree | commitdiff
2004-04-22 Enrico Tassifourier.mli addedto interface files. tree | commitdiff
2004-04-22 Claudio Sacerdoti... IMPLEMENTATION_FILES now generated from INTERFACE_FILES. tree | commitdiff
2004-04-22 Stefano Zacchiroliadded .cvsignore tree | commitdiff
2004-04-21 Stefano Zacchirolidetect and use {ocamlc,ocamlopt}.opt when they are... tree | commitdiff
2004-04-21 Stefano Zacchiroliexported term_of_uri tree | commitdiff
2004-04-21 Stefano Zacchiroliadded helmLibraryObjects.mli mention tree | commitdiff
2004-04-21 Stefano Zacchiroliadded .mli tree | commitdiff
2004-04-20 Stefano Zacchiroligot rid of ~status label so that tactics can now be... tree | commitdiff
2004-04-19 Stefano Zacchirolireorganized metas so that pxp is references only throug... tree | commitdiff
2004-04-19 Stefano Zacchiroliadded hbugs' (client) meta tree | commitdiff
2004-04-19 Stefano Zacchiroligeneralized META.* ignoring tree | commitdiff
2004-04-19 Stefano Zacchiroli- reordered modules so that pxp could be used as entry... tree | commitdiff
2004-04-19 Stefano Zacchiroli- use PxpHelmConf tree | commitdiff
2004-04-19 Stefano Zacchiroli- use PxpHelmConf tree | commitdiff
2004-04-19 Stefano Zacchiroliuse PxpHelmConf tree | commitdiff
2004-04-19 Stefano Zacchiroliadded dep on Helm_registry tree | commitdiff
2004-04-19 Stefano Zacchiroliuse PxpHelmConf module tree | commitdiff
2004-04-19 Stefano Zacchiroli- use PxpHelmConf tree | commitdiff
2004-04-19 Stefano Zacchiroli- embedded ClientHTTP module (not very nice, but Client... tree | commitdiff
2004-04-19 Stefano Zacchiroliadded ExtThread module, ex Hbugs_deity (a Thread module... tree | commitdiff
2004-04-19 Stefano Zacchiroliinjected hbugs under ocaml/ dir tree | commitdiff
2004-04-19 Stefano Zacchirolifixed a typo (inside a comment) tree | commitdiff
2004-04-16 Claudio Sacerdoti... test_equality_only was not used in sort comparison. tree | commitdiff
2004-04-16 Stefano Zacchiroliadded newline to log when log_file is in use tree | commitdiff
2004-04-16 Stefano Zacchiroli- rewritten http_getter logger interface tree | commitdiff
2004-04-16 Stefano Zacchiroli- added sample usage of get_opt method tree | commitdiff
2004-04-15 Andrea AspertiMetasenv added as parameter to eta_fixing. tree | commitdiff
2004-04-15 Stefano Zacchiroli- fixed dtd_base_urls implementation tree | commitdiff
2004-04-15 Stefano Zacchiroli- better pretty printing on /update tree | commitdiff
2004-04-15 Stefano Zacchiroliadded string_of_html_tag (plain text pretty printer... tree | commitdiff
2004-04-15 Stefano Zacchiroliadded support for multiple dtd_base_urls tree | commitdiff
2004-04-14 Claudio Sacerdoti... Bug fixed: the following happened. tree | commitdiff
2004-04-14 Stefano Zacchiroliadded exists_meta tree | commitdiff
2004-04-14 Ferruccio Guidipatched tree | commitdiff
2004-04-07 Claudio Sacerdoti... Added flag test_equality_only to are_convertible to... tree | commitdiff
2004-04-07 Claudio Sacerdoti... Added flag test_equality_only to are_convertible (to... tree | commitdiff
2004-04-07 Stefano Zacchiroliadded a missing <br> tag tree | commitdiff
next
Unnamed repository; edit this file 'description' to name the repository.