]> matita.cs.unibo.it Git - helm.git/shortlog
helm.git
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
2004-10-04 Stefano Zacchirolimoved xmldiff in ocaml/
2004-10-04 Stefano Zacchiroli- added xmldiff module
2004-10-04 Stefano Zacchiroliadded Undo/Redo commands
2004-10-04 Stefano Zacchiroli- fixed "Blue" vs "blue" typo
2004-10-04 Stefano Zacchiroli- handle Box.Space in textual pretty printing
2004-10-04 Stefano Zacchiroli- removed mandatory parens for application
2004-10-04 Stefano Zacchiroli"in" and "and" are now keywords
2004-10-04 Stefano Zacchirolisplitted History module out of StatefulProofEngine
2004-10-04 Stefano Zacchiroli- splitted out History module
2004-10-04 Stefano Zacchirolixmldiff's META
2004-10-04 Stefano Zacchirolimoved xmldiff module away from gTopLevel
2004-10-04 Stefano Zacchirolisnapshot
2004-10-01 Stefano Zacchirolisnapshot
2004-10-01 Stefano Zacchirolisnapshot
next