]> matita.cs.unibo.it Git - helm.git/history - helm
projects / helm.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
added reference to MetadataQuery (now it builds properly)
[helm.git] / helm /
2004-04-16 Stefano Zacchiroliremoved tedious "_mowgli" postfix tree | commitdiff
2004-04-16 Stefano Zacchiroliuse new daemon_respawner.sh tree | commitdiff
2004-04-16 Stefano Zacchirolifixed some typos in sample init.d tree | commitdiff
2004-04-16 Stefano Zacchiroliadded generic daemon respawner tree | commitdiff
2004-04-16 Stefano Zacchiroliscript deprecated tree | commitdiff
2004-04-16 Stefano Zacchiroliadded newline to log when log_file is in use tree | commitdiff
2004-04-16 Stefano Zacchiroli- addead autoconf-iguration. Actually it only set the... tree | commitdiff
2004-04-16 Stefano Zacchiroli- use new logger interface 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 Zacchirolis/dtd_base_url/dtd_base_urls/ tree | commitdiff
2004-04-15 Stefano Zacchiroli- better pretty printing of exceptions (added red color) 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 Ferruccio Guidiupdating all sections tree | commitdiff
2004-04-14 Ferruccio Guidipatched 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-13 Ferruccio Guidiupdating the introduction tree | commitdiff
2004-04-09 Stefano Zacchiroliported to latest polymorphic variant types 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 Claudio Sacerdoti... http_getter.conf.xml ==> /projects/helm/etc/http_getter... 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 Claudio Sacerdoti... XHTML character entities (used in the internal subset... tree | commitdiff
2004-04-05 Andrea AspertiAdded a new function in_cache to cicEnvironemt. It... tree | commitdiff
2004-04-04 Claudio Sacerdoti... ht:DEFINITION/Definition differentiated into tree | commitdiff
2004-04-02 Stefano Zacchirolis/per_user_settings/user_settings/ for consistency... tree | commitdiff
2004-04-02 Stefano Zacchiroli- logging of long-running actions (like update) is... tree | commitdiff
2004-04-01 Stefano Zacchiroliremoved no longer needed password from connection string tree | commitdiff
2004-04-01 Stefano Zacchiroli- added "Host:" line to http requests so that virtual... tree | commitdiff
2004-04-01 Stefano Zacchiroli- removed http_get/http_get_iter implementations, use... tree | commitdiff
2004-04-01 Claudio Sacerdoti... <VARIABLE as="LocalFact"/> added 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-04-01 Stefano Zacchiroliremoved out of date configuration file 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-31 Lionel MamaneInstall to findlib-defined dest dir, not to stdlib dir tree | commitdiff
2004-03-30 Claudio Sacerdoti... - provastruct.theory.xml removed (what was that exactly?) tree | commitdiff
2004-03-28 Ferruccio Guidiupdating and structuring tree | commitdiff
2004-03-26 Claudio Sacerdoti... Algebra => CoRN tree | commitdiff
2004-03-26 Claudio Sacerdoti... tex notation enabled tree | commitdiff
2004-03-25 Luca Padovani* the .o files to be used in the dll are now taken... tree | commitdiff
2004-03-24 Stefano ZacchiroliCSC: hack to make applications of constants that have... tree | commitdiff
2004-03-24 Luca Padovani* added embedding test (HTML) tree | commitdiff
2004-03-24 Luca Padovani* added TODO file tree | commitdiff
2004-03-23 Luca Padovani* added test with MathML really embedded within HTML tree | commitdiff
2004-03-23 Luca Padovani* implemented click so that the browser is notified... tree | commitdiff
2004-03-22 Stefano Zacchirolicosmetic alignment change tree | commitdiff
2004-03-22 Stefano Zacchiroli- implemented real thread killing (in place of the... tree | commitdiff
2004-03-22 Claudio Sacerdoti... load_document(_,NULL) => unload tree | commitdiff
2004-03-22 Claudio Sacerdoti... - power notation tree | commitdiff
2004-03-22 Claudio Sacerdoti... ... tree | commitdiff
2004-03-21 Ferruccio Guidiintroduction updated tree | commitdiff
2004-03-21 Ferruccio GuidiThe operational semantics of the core language is ready tree | commitdiff
2004-03-17 Claudio Sacerdoti... Bug fixed for theorems whose statement are like 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-15 Andrea AspertiThis fails. tree | commitdiff
2004-03-14 Stefano Zacchiroliadded final version of the paper (for the records) tree | commitdiff
2004-03-14 Stefano Zacchirolitalk committed tree | commitdiff
2004-03-12 Ferruccio Guidiupdating tree | commitdiff
2004-03-12 acerioniNew tactic Auto. 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-10 Claudio Sacerdoti... interpretation_choices not declared tree | commitdiff
2004-03-09 Claudio Sacerdoti... escape/unescape no longer works with '+'; tree | commitdiff
2004-03-09 Claudio Sacerdoti... Parameter forgot. tree | commitdiff
2004-03-09 Claudio Sacerdoti... Partially ported to new disambiguating parser. tree | commitdiff
2004-03-09 Claudio Sacerdoti... Debug code removed. tree | commitdiff
2004-03-09 Claudio Sacerdoti... Dead code removed. tree | commitdiff
2004-03-09 Claudio Sacerdoti... - non empty metasenv after the parsing phase are now... 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-08 Claudio Sacerdoti... Disambiguation can now return more than one choice. tree | commitdiff
2004-03-05 Claudio Sacerdoti... Quick & dirty patch to overcome a bug of ocamlfind. tree | commitdiff
2004-03-05 Claudio Sacerdoti... Added option -timeout. Default is 5s. 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
next
Unnamed repository; edit this file 'description' to name the repository.