projects / helm.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
helm.git
2004-10-22 Stefano Zacchiroli- support also DBI handle commit | commitdiff | tree | snapshot
2004-10-22 Stefano Zacchirolino longer build oldDisambiguate commit | commitdiff | tree | snapshot
2004-10-22 Stefano Zacchiroliuses DBI handle commit | commitdiff | tree | snapshot
2004-10-22 Stefano Zacchiroli- disambiguation now needs DBI handle commit | commitdiff | tree | snapshot
2004-10-22 Stefano Zacchiroliauto needs DBI handle commit | commitdiff | tree | snapshot
2004-10-22 Stefano Zacchirolitemporary: for the moment we need both MQI handle and... commit | commitdiff | tree | snapshot
2004-10-22 Stefano Zacchiroliported to Dbi-disambiguation commit | commitdiff | tree | snapshot
2004-10-22 Stefano Zacchiroliignore boolean returned by saveDocument commit | commitdiff | tree | snapshot
2004-10-22 Andrea Asperti- added (hack) apply_tac_verbose (for auto) commit | commitdiff | tree | snapshot
2004-10-22 Stefano Zacchiroli- changed metadata type so that positions contains... commit | commitdiff | tree | snapshot
2004-10-22 Stefano Zacchiroliremoved reference to MQueryMisc commit | commitdiff | tree | snapshot
2004-10-22 Stefano Zacchiroli- removed MQueryMisc. Ratio: it was used only for trans... commit | commitdiff | tree | snapshot
2004-10-22 Stefano Zacchiroli- no longer depends on MQueryMisc for term_of_uri commit | commitdiff | tree | snapshot
2004-10-22 Stefano Zacchirolino longer depends on MQueryMisc commit | commitdiff | tree | snapshot
2004-10-22 Stefano Zacchiroli- ported to new getter API commit | commitdiff | tree | snapshot
2004-10-22 Andrea Aspertiported to typed explicit subst commit | commitdiff | tree | snapshot
2004-10-22 Stefano Zacchiroliremoved dependency on cic_textual_parser where this... commit | commitdiff | tree | snapshot
2004-10-22 Stefano Zacchirolidescribe exception raised by term_of_uri commit | commitdiff | tree | snapshot
2004-10-22 Stefano Zacchiroliremoved old function term_of_uri (now in CicUtil) commit | commitdiff | tree | snapshot
2004-10-22 Andrea Aspertibe more quiet (removed debugging prints) commit | commitdiff | tree | snapshot
2004-10-22 Andrea Aspertiported to typed explicit subst commit | commitdiff | tree | snapshot
2004-10-22 Andrea Aspertirebuilt commit | commitdiff | tree | snapshot
2004-10-22 Andrea Asperti- ported to typed explicit subst commit | commitdiff | tree | snapshot
2004-10-22 Andrea Asperti- ported to typed explicit subst commit | commitdiff | tree | snapshot
2004-10-22 Andrea Asperti- ported to typed explicit substitutions commit | commitdiff | tree | snapshot
2004-10-22 Andrea Asperti- ported to typed explicit substitutions commit | commitdiff | tree | snapshot
2004-10-22 Andrea Asperticleanup temp files on parser failure commit | commitdiff | tree | snapshot
2004-10-22 Andrea Asperti- reimplemented meta_closed in non CPS way (faster!) commit | commitdiff | tree | snapshot
2004-10-22 Andrea Aspertiadded type to explicit substitutions commit | commitdiff | tree | snapshot
2004-10-22 Stefano Zacchiroli- use CicUtil.term_of_uri instead of deprecated HelmLib... commit | commitdiff | tree | snapshot
2004-10-22 Stefano Zacchiroli- bugfix: sequences like ".(" are now lexed, correctly, as commit | commitdiff | tree | snapshot
2004-10-22 Stefano Zacchiroliuse helm-cic_textual_parser2 findlib package when build... commit | commitdiff | tree | snapshot
2004-10-21 Stefano Zacchiroliadded dep on helm-metadata commit | commitdiff | tree | snapshot
2004-10-21 Stefano Zacchirolibugfix: use only baseuri in uri part of MutInd and... commit | commitdiff | tree | snapshot
2004-10-21 Stefano Zacchiroliuse latest Http_getter module API commit | commitdiff | tree | snapshot
2004-10-21 Stefano Zacchiroli- API change (renamed some exceptions) commit | commitdiff | tree | snapshot
2004-10-21 Stefano Zacchiroliadded reference to MetadataQuery (now it builds properly) commit | commitdiff | tree | snapshot
2004-10-21 Stefano Zacchiroliimplemented in place old Filter_auto filtering commit | commitdiff | tree | snapshot
2004-10-21 Stefano Zacchirolifixed a buggy pattern matching commit | commitdiff | tree | snapshot
2004-10-21 Stefano Zacchiroli- split metadata type in metadata and constraints.... commit | commitdiff | tree | snapshot
2004-10-20 Andrea Asperti- removed cic_cache and cic_annotations_cache commit | commitdiff | tree | snapshot
2004-10-20 Stefano Zacchiroliadded term_of_uri commit | commitdiff | tree | snapshot
2004-10-20 Stefano Zacchirolisnapshot, still work in progress commit | commitdiff | tree | snapshot
2004-10-20 Stefano Zacchirolitop level query module commit | commitdiff | tree | snapshot
2004-10-18 Stefano Zacchirolibroken commit | commitdiff | tree | snapshot
2004-10-18 Stefano Zacchiroliremoved cicCache (cicEnvironment should be used instead) commit | commitdiff | tree | snapshot
2004-10-18 Stefano Zacchiroliimplemented here at_least constraints matching engine commit | commitdiff | tree | snapshot
2004-10-15 Stefano Zacchiroliadded helm-metadata module commit | commitdiff | tree | snapshot
2004-10-15 Stefano Zacchiroliremoved some old debugging messages commit | commitdiff | tree | snapshot
2004-10-15 Stefano Zacchirolimoved string_of_uriref to UriManager commit | commitdiff | tree | snapshot
2004-10-15 Stefano Zacchirolimoved string_of_uriref from MQueryMisc to UriManager commit | commitdiff | tree | snapshot
2004-10-14 Claudio Sacerdoti... Luca (bugged) debugging stuff removed. commit | commitdiff | tree | snapshot
2004-10-14 Stefano Zacchirolifixed make dep command commit | commitdiff | tree | snapshot
2004-10-14 Claudio Sacerdoti... no_inconcl_aux managed commit | commitdiff | tree | snapshot
2004-10-14 Claudio Sacerdoti... * create_mowgli_tables.mysql.sql added commit | commitdiff | tree | snapshot
2004-10-13 Stefano Zacchirolisnapshot commit | commitdiff | tree | snapshot
2004-10-13 Stefano Zacchiroliadded alias for cic_textual_parser2 commit | commitdiff | tree | snapshot
2004-10-13 Stefano Zacchirolisnapshot, notably history no longer remember annotation... commit | commitdiff | tree | snapshot
2004-10-13 Stefano Zacchirolitransformations no longer use Content_expression, but... commit | commitdiff | tree | snapshot
2004-10-13 Stefano Zacchirolipretty printed Absurd's term commit | commitdiff | tree | snapshot
2004-10-13 Stefano Zacchiroliadded term argument to absurd commit | commitdiff | tree | snapshot
2004-10-13 Andrea Aspertiget_and_save now handles big files properly (i.e. doesn... commit | commitdiff | tree | snapshot
2004-10-12 Stefano Zacchiroliported to ocaml-http 0.0.10 (renamed Http_client -... commit | commitdiff | tree | snapshot
2004-10-12 Stefano Zacchirolisetting goal doesn't change history status commit | commitdiff | tree | snapshot
2004-10-11 Stefano Zacchiroliadded new Utf8Macro module commit | commitdiff | tree | snapshot
2004-10-11 Stefano ZacchiroliAdded -syntax support (if needed, use OCAMLC_P4 instead... commit | commitdiff | tree | snapshot
2004-10-11 Stefano Zacchiroliadded utf8_macros commit | commitdiff | tree | snapshot
2004-10-11 Stefano Zacchirolimoved utf8 macro handling to the new module Utf8Macros commit | commitdiff | tree | snapshot
2004-10-11 Stefano Zacchirolifixed typo commit | commitdiff | tree | snapshot
2004-10-11 Stefano Zacchirolinew module: expansion from tex like macros to utf8... commit | commitdiff | tree | snapshot
2004-10-06 Stefano Zacchirolisnapshot (notably: implemented "check") commit | commitdiff | tree | snapshot
2004-10-04 Stefano Zacchiroliadded dependency on helm-xmldiff commit | commitdiff | tree | snapshot
2004-10-04 Stefano Zacchirolimoved xmldiff in ocaml/ commit | commitdiff | tree | snapshot
2004-10-04 Stefano Zacchiroli- added xmldiff module commit | commitdiff | tree | snapshot
2004-10-04 Stefano Zacchiroliadded Undo/Redo commands commit | commitdiff | tree | snapshot
2004-10-04 Stefano Zacchiroli- fixed "Blue" vs "blue" typo commit | commitdiff | tree | snapshot
2004-10-04 Stefano Zacchiroli- handle Box.Space in textual pretty printing commit | commitdiff | tree | snapshot
2004-10-04 Stefano Zacchiroli- removed mandatory parens for application commit | commitdiff | tree | snapshot
2004-10-04 Stefano Zacchiroli"in" and "and" are now keywords commit | commitdiff | tree | snapshot
2004-10-04 Stefano Zacchirolisplitted History module out of StatefulProofEngine commit | commitdiff | tree | snapshot
2004-10-04 Stefano Zacchiroli- splitted out History module commit | commitdiff | tree | snapshot
2004-10-04 Stefano Zacchirolixmldiff's META commit | commitdiff | tree | snapshot
2004-10-04 Stefano Zacchirolimoved xmldiff module away from gTopLevel commit | commitdiff | tree | snapshot
2004-10-04 Stefano Zacchirolisnapshot commit | commitdiff | tree | snapshot
2004-10-01 Stefano Zacchirolisnapshot commit | commitdiff | tree | snapshot
2004-10-01 Stefano Zacchirolisnapshot commit | commitdiff | tree | snapshot
2004-09-29 Stefano Zacchirolibumped deps to 0.6.4 commit | commitdiff | tree | snapshot
2004-09-29 Stefano Zacchirolibumped version to 0.6.4 commit | commitdiff | tree | snapshot
2004-09-28 Luca Padovani* minor correction to make the new mathml widget work... commit | commitdiff | tree | snapshot
2004-09-28 Luca Padovani* the transformations have been ported so to generate... commit | commitdiff | tree | snapshot
2004-09-27 Luca Padovani* removed PREDICATES commit | commitdiff | tree | snapshot
2004-09-20 Stefano Zacchiroliadded initial_status commit | commitdiff | tree | snapshot
2004-09-20 Stefano Zacchirolifixed parse error for ocaml 3.08 commit | commitdiff | tree | snapshot
2004-09-17 Ferruccio Guidimeta_closed added commit | commitdiff | tree | snapshot
2004-09-17 Stefano Zacchirolifixed cictheory:/ bug (thanks Lionel for the patch) commit | commitdiff | tree | snapshot
2004-09-16 Claudio Sacerdoti... The jsmenu is now under CVS. commit | commitdiff | tree | snapshot
2004-09-14 Luca Padovani* the click signal now acts on both maction (MathML... commit | commitdiff | tree | snapshot
2004-09-09 Ferruccio Guidinow should run also when the db is down (untested) commit | commitdiff | tree | snapshot
2004-09-09 Stefano Zacchirolibumped deps on ocamlnet to 0.98 commit | commitdiff | tree | snapshot
2004-09-09 Stefano Zacchiroliported to ocamlnet 0.98 commit | commitdiff | tree | snapshot
next
Unnamed repository; edit this file 'description' to name the repository.