]> matita.cs.unibo.it Git - helm.git/shortlog
helm.git
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
2004-09-29 Stefano Zacchirolibumped deps to 0.6.4
2004-09-29 Stefano Zacchirolibumped version to 0.6.4
2004-09-28 Luca Padovani* minor correction to make the new mathml widget work...
2004-09-28 Luca Padovani* the transformations have been ported so to generate...
2004-09-27 Luca Padovani* removed PREDICATES
2004-09-20 Stefano Zacchiroliadded initial_status
2004-09-20 Stefano Zacchirolifixed parse error for ocaml 3.08
2004-09-17 Ferruccio Guidimeta_closed added
2004-09-17 Stefano Zacchirolifixed cictheory:/ bug (thanks Lionel for the patch)
2004-09-16 Claudio Sacerdoti... The jsmenu is now under CVS.
2004-09-14 Luca Padovani* the click signal now acts on both maction (MathML...
2004-09-09 Ferruccio Guidinow should run also when the db is down (untested)
2004-09-09 Stefano Zacchirolibumped deps on ocamlnet to 0.98
2004-09-09 Stefano Zacchiroliported to ocamlnet 0.98
2004-09-09 Stefano Zacchiroliported to latest lablgtkmathview
2004-09-09 Stefano Zacchiroliported to pxp 1.1.95's event parser
2004-09-09 Stefano Zacchiroliadded hyperlinks for getalluris/ in help message
2004-09-08 Stefano Zacchirolifixed some illegal backslash escapes
2004-09-06 Ferruccio Guidibug in constraint generation for variables fixed
2004-09-06 Andrea AspertiCorrected bug about the generation of constraitns:...
2004-09-01 Andrea AspertiBug fixing: the call to MQueryMisc.wrong_xpointer_forma...
2004-08-27 Stefano Zacchiroliported to ocaml 3.08
2004-08-25 Stefano Zacchirolidebian version 0.0.6-6
2004-08-25 Stefano Zacchirolidebian version 0.6.3-2
2004-08-05 Stefano Zacchiroliported location handling to camlp4 3.08
2004-08-05 Stefano Zacchirolifixed some invalid backslash escapes
2004-08-05 Stefano Zacchirolifixed some illegal backslash escapes
2004-08-05 Stefano Zacchirolifixed .mli syntax for polymorphic methods (apparently...
2004-08-05 Stefano Zacchirolifixed some invalid backslash escapes
2004-07-31 Luca Padovani* porting to gtkmathview 0.6.3
2004-07-30 Luca Padovani* fixed bug of multiple selections
2004-07-29 Stefano Zacchiroli(pre-)porting to gtkmathview 0.6.3 && ocaml 3.08
2004-07-27 Luca Padovani* update to version 0.6.4 of the widget
2004-07-27 Stefano Zacchiroliported to ocaml 3.08
2004-07-26 Stefano Zacchiroliported debian stuff to ocaml 3.08
2004-07-20 Andrea AspertiThe type substitution has been moved into Cic.
2004-07-20 Andrea AspertiSubst has been added to the kernel.
next