]> matita.cs.unibo.it Git - helm.git/history - helm/ocaml
projects / helm.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
fixed some typos in sample init.d
[helm.git] / helm / ocaml /
2004-04-16 Stefano Zacchiroliadded newline to log when log_file is in use tree | commitdiff
2004-04-16 Stefano Zacchiroli- rewritten http_getter logger interface tree | commitdiff
2004-04-16 Stefano Zacchiroli- added sample usage of get_opt method tree | commitdiff
2004-04-15 Andrea AspertiMetasenv added as parameter to eta_fixing. tree | commitdiff
2004-04-15 Stefano Zacchiroli- fixed dtd_base_urls implementation tree | commitdiff
2004-04-15 Stefano Zacchiroli- better pretty printing on /update tree | commitdiff
2004-04-15 Stefano Zacchiroliadded string_of_html_tag (plain text pretty printer... tree | commitdiff
2004-04-15 Stefano Zacchiroliadded support for multiple dtd_base_urls tree | commitdiff
2004-04-14 Claudio Sacerdoti... Bug fixed: the following happened. tree | commitdiff
2004-04-14 Stefano Zacchiroliadded exists_meta tree | commitdiff
2004-04-14 Ferruccio Guidipatched tree | commitdiff
2004-04-07 Claudio Sacerdoti... Added flag test_equality_only to are_convertible to... tree | commitdiff
2004-04-07 Claudio Sacerdoti... Added flag test_equality_only to are_convertible (to... tree | commitdiff
2004-04-07 Stefano Zacchiroliadded a missing <br> tag tree | commitdiff
2004-04-06 Stefano Zacchiroliimplemented save_to tree | commitdiff
2004-04-06 Stefano Zacchiroli- uncommented save_to function (now implemented) tree | commitdiff
2004-04-06 Stefano Zacchiroliadded Unix dependency (needed in order to run xmllint) tree | commitdiff
2004-04-06 Stefano Zacchirolieta_fixing of the CurrentProof metasenv is wrong, since... tree | commitdiff
2004-04-06 Stefano ZacchiroliThe parser accepts terms with metavariables as statemen... tree | commitdiff
2004-04-06 Stefano Zacchiroli- added test file tree | commitdiff
2004-04-06 Stefano Zacchiroli- added via_http parameter so that when the getter... tree | commitdiff
2004-04-06 Stefano Zacchiroli- use polymorphic variants for some configuration param... tree | commitdiff
2004-04-06 Stefano Zacchirolibugfix: local context and canonical context previously... tree | commitdiff
2004-04-06 Stefano Zacchirolibugfix: the function that abstract constant occurrences... tree | commitdiff
2004-04-06 Stefano Zacchirolireorganized functions order tree | commitdiff
2004-04-05 Stefano Zacchiroliadded html_of_html_tag tree | commitdiff
2004-04-05 Claudio Sacerdoti... URL patching in ENTITY declarations extended to cover... tree | commitdiff
2004-04-05 Andrea AspertiAdded a new function in_cache to cicEnvironemt. It... tree | commitdiff
2004-04-02 Stefano Zacchiroli- logging of long-running actions (like update) is... tree | commitdiff
2004-04-01 Stefano Zacchiroli- removed http_get/http_get_iter implementations, use... tree | commitdiff
2004-04-01 Stefano Zacchiroliremoved an out of date comment tree | commitdiff
2004-04-01 Stefano Zacchiroliadded hyperlinks to help message tree | commitdiff
2004-03-31 Matteo SelmitacticChaser modified to avoid double "apply" and to... tree | commitdiff
2004-03-31 Lionel MamaneMeta files are in METAS subdir tree | commitdiff
2004-03-26 Claudio Sacerdoti... tex notation enabled tree | commitdiff
2004-03-24 Stefano ZacchiroliCSC: hack to make applications of constants that have... tree | commitdiff
2004-03-22 Stefano Zacchirolicosmetic alignment change tree | commitdiff
2004-03-22 Claudio Sacerdoti... - power notation tree | commitdiff
2004-03-22 Claudio Sacerdoti... ... tree | commitdiff
2004-03-16 Andrea AspertiSorts are no longer all convertible. To be completed... tree | commitdiff
2004-03-16 Andrea AspertiSorts are no longer all convertible. To be completed... tree | commitdiff
2004-03-12 acerioniFirst implementation of the Auto tactic. tree | commitdiff
2004-03-12 acerioniType of exception changed: from exn to string. tree | commitdiff
2004-03-10 Ferruccio Guidi- interpreter: the queries are printed before execution tree | commitdiff
2004-03-09 Claudio Sacerdoti... Debug code removed. tree | commitdiff
2004-03-09 Claudio Sacerdoti... Bug fixed: instead of generating "not ()", I generate... tree | commitdiff
2004-03-09 Claudio Sacerdoti... Meta no longer raise a failure. Instead they return... tree | commitdiff
2004-03-08 Claudio Sacerdoti... - reindented tree | commitdiff
2004-03-05 Claudio Sacerdoti... \Assign and \subst to match the parser. tree | commitdiff
2004-03-05 Claudio Sacerdoti... MutCase branches must be parsed and printed using ... tree | commitdiff
2004-03-05 Claudio Sacerdoti... Branch of MutCase must be parsed and printed using... tree | commitdiff
2004-03-05 Claudio Sacerdoti... Debugging message removed. tree | commitdiff
2004-03-05 Claudio Sacerdoti... apply_subst did not apply the substitution to the expli... tree | commitdiff
2004-03-05 Claudio Sacerdoti... Refine now raises only RefineFailure, AssertFailure... tree | commitdiff
2004-03-05 Claudio Sacerdoti... Wrong error message patched. tree | commitdiff
2004-03-05 Claudio Sacerdoti... List.nth not guarded by try ... with. Fixed. tree | commitdiff
2004-03-05 Claudio Sacerdoti... Debugging code removed. tree | commitdiff
2004-03-05 Claudio Sacerdoti... Syntax of explicit named substitions syncronized with... tree | commitdiff
2004-03-02 Claudio Sacerdoti... Bug in guarded_by_destructors (case Rel to a definition... tree | commitdiff
2004-03-02 Claudio Sacerdoti... ... tree | commitdiff
2004-03-02 Claudio Sacerdoti... - Improved error messaging. tree | commitdiff
2004-03-02 Stefano Zacchiroli- ported to latest CicAst.Ident format (Some [] <>... tree | commitdiff
2004-03-02 Stefano Zacchirolidifferentieted empty substitution list from no substitu... tree | commitdiff
2004-03-02 Stefano Zacchiroliadded cast concrete syntax tree | commitdiff
2004-03-02 Claudio Sacerdoti... The disambiguation now returns a list of interpretations. tree | commitdiff
2004-02-27 Ferruccio Guidinow database interfaces are more abstract tree | commitdiff
2004-02-26 Ferruccio Guidi- MySQL mode added to the interpreter tree | commitdiff
2004-02-26 Claudio Sacerdoti... Error message fixed. tree | commitdiff
2004-02-26 Claudio Sacerdoti... New implementation of eat_prods. tree | commitdiff
2004-02-26 Stefano Zacchiroli- better handling of temp files wrt to failures. When... tree | commitdiff
2004-02-26 Stefano Zacchiroliadded support for commands and scripts tree | commitdiff
2004-02-26 Stefano Zacchiroliadded vim modeline for encoding=utf8 tree | commitdiff
2004-02-26 Stefano Zacchiroliadded command and script ASTs with _debugging_only_... tree | commitdiff
2004-02-26 Claudio Sacerdoti... Optimization: since an invariant says that the inferred... tree | commitdiff
2004-02-26 Claudio Sacerdoti... ... tree | commitdiff
2004-02-26 Claudio Sacerdoti... eqT removed. tree | commitdiff
2004-02-24 Stefano Zacchiroliadded functions and uris for binary {positive,integer} tree | commitdiff
2004-02-24 Stefano Zacchiroliadded binary {positive,integer} notation tree | commitdiff
2004-02-24 Claudio Sacerdoti... New v8.0 URIs. tree | commitdiff
2004-02-24 Claudio Sacerdoti... More uris ported to V8.0. tree | commitdiff
2004-02-24 Claudio Sacerdoti... More V8.0 uris. tree | commitdiff
2004-02-24 Claudio Sacerdoti... More v8.0 URIs. tree | commitdiff
2004-02-24 Claudio Sacerdoti... Porting URIs to V8.0. tree | commitdiff
2004-02-24 Claudio Sacerdoti... Partial porting to V8 URIs. tree | commitdiff
2004-02-24 Claudio Sacerdoti... Porting to MySql. tree | commitdiff
2004-02-24 Claudio Sacerdoti... Quick patch to make everything work with MySql. tree | commitdiff
2004-02-24 Stefano Zacchiroli- added support for boolean parameters tree | commitdiff
2004-02-24 Claudio Sacerdoti... ... tree | commitdiff
2004-02-24 Claudio Sacerdoti... Added parameter format=text|xml to getalluris. tree | commitdiff
2004-02-23 Claudio Sacerdoti... A lazy value was put in place of a function ==> the... tree | commitdiff
2004-02-23 Claudio Sacerdoti... "add_server?position=0" no longer worked (raised an... tree | commitdiff
2004-02-23 Stefano Zacchiroliadded a space between term and "using" keyword tree | commitdiff
2004-02-23 Stefano Zacchirolicommented out a debugging message tree | commitdiff
2004-02-23 Stefano Zacchirolibugfix in "elim ... using" tactical ("using" is a keyword) tree | commitdiff
2004-02-23 Stefano Zacchiroliadded a lot of notation: arithmetic operators, relation... tree | commitdiff
2004-02-23 Stefano ZacchiroliRinv typo fix tree | commitdiff
2004-02-20 Stefano Zacchirolibugfix: "in" is an IDENT, not a keyword tree | commitdiff
2004-02-20 Ferruccio Guidihard-coded timing of generated queries disabled: use... tree | commitdiff
2004-02-20 Ferruccio Guidi- mathql interpreter flags reorganized tree | commitdiff
2004-02-19 Ferruccio Guidisource logging patched tree | commitdiff
next
Unnamed repository; edit this file 'description' to name the repository.