]> matita.cs.unibo.it Git - helm.git/shortlog
helm.git
2004-11-04 Andrea AspertiPorting to the new version of auto.
2004-11-03 Stefano Zacchirolisnapshot (notably: ported to mysql instead of dbi)
2004-11-03 Stefano Zacchirolino longer use Dbi module but directly use Mysql module...
2004-11-03 Stefano Zacchiroliadded Auto parsing
2004-11-03 Stefano Zacchiroliadded Auto and Hint tactic
2004-11-02 Luca Padovani* substitution are not rendered by default, an action...
2004-11-02 Stefano Zacchirolirenamed Http_client to Http_user_agent to avoid clashes...
2004-10-29 Stefano Zacchiroliignore typecheck_uri{,.opt}
2004-10-29 Stefano Zacchiroliadded test script for typechecking URIs given on STDIN
2004-10-29 Stefano Zacchiroli- equality test on terms before trying convertibility...
2004-10-27 Stefano Zacchirolisnapshot, notably:
2004-10-27 Andrea AspertiBug fixing.
2004-10-26 Stefano Zacchirolibugfix: implemented interactive_user_uri_choice (trivia...
2004-10-25 Stefano Zacchiroliported to latest ocaml-http
2004-10-25 Stefano Zacchiroliimplemented pagination
2004-10-25 Stefano Zacchirolirebuilt
2004-10-25 Stefano Zacchiroli- bugfix use disambiguator metasenv for initial proof...
2004-10-25 Stefano Zacchiroliadded CSS information for (forthcoming) bottom bar
2004-10-25 Stefano Zacchirolisort hint's result accordingly to the "least goal left...
2004-10-25 Stefano Zacchirolibugfix in cmatch constants_no now consider also the...
2004-10-25 Stefano Zacchiroli- added var selection boolean to locate
2004-10-25 Stefano Zacchiroliadded vars selection boolean on locate
2004-10-25 Stefano Zacchiroli- reimplemented basic features using the helm-metadata...
2004-10-22 Andrea Aspertiimplemented elim query
2004-10-22 Stefano Zacchiroliadded Hint "tactic"
2004-10-22 Andrea Aspertibugfix: handle overflow in powerset cardinality
2004-10-22 Stefano Zacchirolino longer builds by default tex_ and cic_textual_parser
2004-10-22 Stefano Zacchiroli- reimplemented tacticChaser and friends in term of...
2004-10-22 Stefano Zacchiroli- support also DBI handle
2004-10-22 Stefano Zacchirolino longer build oldDisambiguate
2004-10-22 Stefano Zacchiroliuses DBI handle
2004-10-22 Stefano Zacchiroli- disambiguation now needs DBI handle
2004-10-22 Stefano Zacchiroliauto needs DBI handle
2004-10-22 Stefano Zacchirolitemporary: for the moment we need both MQI handle and...
2004-10-22 Stefano Zacchiroliported to Dbi-disambiguation
2004-10-22 Stefano Zacchiroliignore boolean returned by saveDocument
2004-10-22 Andrea Asperti- added (hack) apply_tac_verbose (for auto)
2004-10-22 Stefano Zacchiroli- changed metadata type so that positions contains...
2004-10-22 Stefano Zacchiroliremoved reference to MQueryMisc
2004-10-22 Stefano Zacchiroli- removed MQueryMisc. Ratio: it was used only for trans...
2004-10-22 Stefano Zacchiroli- no longer depends on MQueryMisc for term_of_uri
2004-10-22 Stefano Zacchirolino longer depends on MQueryMisc
2004-10-22 Stefano Zacchiroli- ported to new getter API
2004-10-22 Andrea Aspertiported to typed explicit subst
2004-10-22 Stefano Zacchiroliremoved dependency on cic_textual_parser where this...
2004-10-22 Stefano Zacchirolidescribe exception raised by term_of_uri
2004-10-22 Stefano Zacchiroliremoved old function term_of_uri (now in CicUtil)
2004-10-22 Andrea Aspertibe more quiet (removed debugging prints)
2004-10-22 Andrea Aspertiported to typed explicit subst
2004-10-22 Andrea Aspertirebuilt
2004-10-22 Andrea Asperti- ported to typed explicit subst
2004-10-22 Andrea Asperti- ported to typed explicit subst
2004-10-22 Andrea Asperti- ported to typed explicit substitutions
2004-10-22 Andrea Asperti- ported to typed explicit substitutions
2004-10-22 Andrea Asperticleanup temp files on parser failure
2004-10-22 Andrea Asperti- reimplemented meta_closed in non CPS way (faster!)
2004-10-22 Andrea Aspertiadded type to explicit substitutions
2004-10-22 Stefano Zacchiroli- use CicUtil.term_of_uri instead of deprecated HelmLib...
2004-10-22 Stefano Zacchiroli- bugfix: sequences like ".(" are now lexed, correctly, as
2004-10-22 Stefano Zacchiroliuse helm-cic_textual_parser2 findlib package when build...
2004-10-21 Stefano Zacchiroliadded dep on helm-metadata
2004-10-21 Stefano Zacchirolibugfix: use only baseuri in uri part of MutInd and...
2004-10-21 Stefano Zacchiroliuse latest Http_getter module API
2004-10-21 Stefano Zacchiroli- API change (renamed some exceptions)
2004-10-21 Stefano Zacchiroliadded reference to MetadataQuery (now it builds properly)
2004-10-21 Stefano Zacchiroliimplemented in place old Filter_auto filtering
2004-10-21 Stefano Zacchirolifixed a buggy pattern matching
2004-10-21 Stefano Zacchiroli- split metadata type in metadata and constraints....
2004-10-20 Andrea Asperti- removed cic_cache and cic_annotations_cache
2004-10-20 Stefano Zacchiroliadded term_of_uri
2004-10-20 Stefano Zacchirolisnapshot, still work in progress
2004-10-20 Stefano Zacchirolitop level query module
2004-10-18 Stefano Zacchirolibroken
2004-10-18 Stefano Zacchiroliremoved cicCache (cicEnvironment should be used instead)
2004-10-18 Stefano Zacchiroliimplemented here at_least constraints matching engine
2004-10-15 Stefano Zacchiroliadded helm-metadata module
2004-10-15 Stefano Zacchiroliremoved some old debugging messages
2004-10-15 Stefano Zacchirolimoved string_of_uriref to UriManager
2004-10-15 Stefano Zacchirolimoved string_of_uriref from MQueryMisc to UriManager
2004-10-14 Claudio Sacerdoti... Luca (bugged) debugging stuff removed.
2004-10-14 Stefano Zacchirolifixed make dep command
2004-10-14 Claudio Sacerdoti... no_inconcl_aux managed
2004-10-14 Claudio Sacerdoti... * create_mowgli_tables.mysql.sql added
2004-10-13 Stefano Zacchirolisnapshot
2004-10-13 Stefano Zacchiroliadded alias for cic_textual_parser2
2004-10-13 Stefano Zacchirolisnapshot, notably history no longer remember annotation...
2004-10-13 Stefano Zacchirolitransformations no longer use Content_expression, but...
2004-10-13 Stefano Zacchirolipretty printed Absurd's term
2004-10-13 Stefano Zacchiroliadded term argument to absurd
2004-10-13 Andrea Aspertiget_and_save now handles big files properly (i.e. doesn...
2004-10-12 Stefano Zacchiroliported to ocaml-http 0.0.10 (renamed Http_client -...
2004-10-12 Stefano Zacchirolisetting goal doesn't change history status
2004-10-11 Stefano Zacchiroliadded new Utf8Macro module
2004-10-11 Stefano ZacchiroliAdded -syntax support (if needed, use OCAMLC_P4 instead...
2004-10-11 Stefano Zacchiroliadded utf8_macros
2004-10-11 Stefano Zacchirolimoved utf8 macro handling to the new module Utf8Macros
2004-10-11 Stefano Zacchirolifixed typo
2004-10-11 Stefano Zacchirolinew module: expansion from tex like macros to utf8...
2004-10-06 Stefano Zacchirolisnapshot (notably: implemented "check")
2004-10-04 Stefano Zacchiroliadded dependency on helm-xmldiff
next