]> matita.cs.unibo.it Git - helm.git/history - helm/ocaml
projects / helm.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
added helm-metadata module
[helm.git] / helm / ocaml /
2004-10-15 Stefano Zacchiroliadded helm-metadata module tree | commitdiff
2004-10-15 Stefano Zacchiroliremoved some old debugging messages tree | commitdiff
2004-10-15 Stefano Zacchirolimoved string_of_uriref to UriManager tree | commitdiff
2004-10-15 Stefano Zacchirolimoved string_of_uriref from MQueryMisc to UriManager tree | commitdiff
2004-10-14 Stefano Zacchirolifixed make dep command tree | commitdiff
2004-10-13 Stefano Zacchiroliadded alias for cic_textual_parser2 tree | commitdiff
2004-10-13 Stefano Zacchirolitransformations no longer use Content_expression, but... tree | commitdiff
2004-10-13 Stefano Zacchirolipretty printed Absurd's term tree | commitdiff
2004-10-13 Stefano Zacchiroliadded term argument to absurd tree | commitdiff
2004-10-13 Andrea Aspertiget_and_save now handles big files properly (i.e. doesn... tree | commitdiff
2004-10-12 Stefano Zacchiroliported to ocaml-http 0.0.10 (renamed Http_client -... tree | commitdiff
2004-10-12 Stefano Zacchirolisetting goal doesn't change history status tree | commitdiff
2004-10-11 Stefano Zacchiroliadded new Utf8Macro module tree | commitdiff
2004-10-11 Stefano ZacchiroliAdded -syntax support (if needed, use OCAMLC_P4 instead... tree | commitdiff
2004-10-11 Stefano Zacchiroliadded utf8_macros tree | commitdiff
2004-10-11 Stefano Zacchirolimoved utf8 macro handling to the new module Utf8Macros tree | commitdiff
2004-10-11 Stefano Zacchirolifixed typo tree | commitdiff
2004-10-11 Stefano Zacchirolinew module: expansion from tex like macros to utf8... tree | commitdiff
2004-10-04 Stefano Zacchiroli- added xmldiff module tree | commitdiff
2004-10-04 Stefano Zacchiroliadded Undo/Redo commands tree | commitdiff
2004-10-04 Stefano Zacchiroli- fixed "Blue" vs "blue" typo tree | commitdiff
2004-10-04 Stefano Zacchiroli- handle Box.Space in textual pretty printing tree | commitdiff
2004-10-04 Stefano Zacchiroli- removed mandatory parens for application tree | commitdiff
2004-10-04 Stefano Zacchiroli"in" and "and" are now keywords tree | commitdiff
2004-10-04 Stefano Zacchirolisplitted History module out of StatefulProofEngine tree | commitdiff
2004-10-04 Stefano Zacchiroli- splitted out History module tree | commitdiff
2004-10-04 Stefano Zacchirolixmldiff's META tree | commitdiff
2004-10-04 Stefano Zacchirolimoved xmldiff module away from gTopLevel tree | commitdiff
2004-09-28 Luca Padovani* the transformations have been ported so to generate... tree | commitdiff
2004-09-20 Stefano Zacchiroliadded initial_status tree | commitdiff
2004-09-17 Ferruccio Guidimeta_closed added tree | commitdiff
2004-09-17 Stefano Zacchirolifixed cictheory:/ bug (thanks Lionel for the patch) tree | commitdiff
2004-09-09 Stefano Zacchiroliported to pxp 1.1.95's event parser tree | commitdiff
2004-09-09 Stefano Zacchiroliadded hyperlinks for getalluris/ in help message tree | commitdiff
2004-09-06 Ferruccio Guidibug in constraint generation for variables fixed tree | commitdiff
2004-09-06 Andrea AspertiCorrected bug about the generation of constraitns:... tree | commitdiff
2004-09-01 Andrea AspertiBug fixing: the call to MQueryMisc.wrong_xpointer_forma... tree | commitdiff
2004-08-05 Stefano Zacchiroliported location handling to camlp4 3.08 tree | commitdiff
2004-08-05 Stefano Zacchirolifixed some invalid backslash escapes tree | commitdiff
2004-08-05 Stefano Zacchirolifixed some illegal backslash escapes tree | commitdiff
2004-08-05 Stefano Zacchirolifixed .mli syntax for polymorphic methods (apparently... tree | commitdiff
2004-08-05 Stefano Zacchirolifixed some invalid backslash escapes tree | commitdiff
2004-07-20 Andrea AspertiThe type substitution has been moved into Cic. tree | commitdiff
2004-07-20 Andrea AspertiSubst has been added to the kernel. tree | commitdiff
2004-07-15 Luca Padovani* split evil let definition (ic, oc) = ... into two... tree | commitdiff
2004-07-13 Matteo SelmiModified filtering function tree | commitdiff
2004-07-05 Stefano ZacchiroliBug fixed: beta_expand did not perform any recursion... tree | commitdiff
2004-07-05 Stefano Zacchirolicommeted out some debugging instructions tree | commitdiff
2004-07-05 Stefano Zacchirolicommented out some debugging instructions tree | commitdiff
2004-07-02 Claudio Sacerdoti... Bug fixed: eta_expand did not perform any recursion... tree | commitdiff
2004-07-02 Claudio Sacerdoti... Bug fixed: the beta_expansion function did not lift... tree | commitdiff
2004-07-01 Andrea Asperti... tree | commitdiff
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
next
Unnamed repository; edit this file 'description' to name the repository.