]> matita.cs.unibo.it Git - helm.git/shortlog
projects / helm.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
helm.git
2004-03-22 Stefano Zacchiroli- implemented real thread killing (in place of the... commit | commitdiff | tree | snapshot
2004-03-22 Claudio Sacerdoti... load_document(_,NULL) => unload commit | commitdiff | tree | snapshot
2004-03-22 Claudio Sacerdoti... - power notation commit | commitdiff | tree | snapshot
2004-03-22 Claudio Sacerdoti... ... commit | commitdiff | tree | snapshot
2004-03-21 Ferruccio Guidiintroduction updated commit | commitdiff | tree | snapshot
2004-03-21 Ferruccio GuidiThe operational semantics of the core language is ready commit | commitdiff | tree | snapshot
2004-03-17 Claudio Sacerdoti... Bug fixed for theorems whose statement are like commit | commitdiff | tree | snapshot
2004-03-16 Andrea AspertiSorts are no longer all convertible. To be completed... commit | commitdiff | tree | snapshot
2004-03-16 Andrea AspertiSorts are no longer all convertible. To be completed... commit | commitdiff | tree | snapshot
2004-03-15 Andrea AspertiThis fails. commit | commitdiff | tree | snapshot
2004-03-14 Stefano Zacchiroliadded final version of the paper (for the records) commit | commitdiff | tree | snapshot
2004-03-14 Stefano Zacchirolitalk committed commit | commitdiff | tree | snapshot
2004-03-12 Ferruccio Guidiupdating commit | commitdiff | tree | snapshot
2004-03-12 acerioniNew tactic Auto. commit | commitdiff | tree | snapshot
2004-03-12 acerioniFirst implementation of the Auto tactic. commit | commitdiff | tree | snapshot
2004-03-12 acerioniType of exception changed: from exn to string. commit | commitdiff | tree | snapshot
2004-03-10 Ferruccio Guidi- interpreter: the queries are printed before execution commit | commitdiff | tree | snapshot
2004-03-10 Claudio Sacerdoti... interpretation_choices not declared commit | commitdiff | tree | snapshot
2004-03-09 Claudio Sacerdoti... escape/unescape no longer works with '+'; commit | commitdiff | tree | snapshot
2004-03-09 Claudio Sacerdoti... Parameter forgot. commit | commitdiff | tree | snapshot
2004-03-09 Claudio Sacerdoti... Partially ported to new disambiguating parser. commit | commitdiff | tree | snapshot
2004-03-09 Claudio Sacerdoti... Debug code removed. commit | commitdiff | tree | snapshot
2004-03-09 Claudio Sacerdoti... Dead code removed. commit | commitdiff | tree | snapshot
2004-03-09 Claudio Sacerdoti... - non empty metasenv after the parsing phase are now... commit | commitdiff | tree | snapshot
2004-03-09 Claudio Sacerdoti... Bug fixed: instead of generating "not ()", I generate... commit | commitdiff | tree | snapshot
2004-03-09 Claudio Sacerdoti... Meta no longer raise a failure. Instead they return... commit | commitdiff | tree | snapshot
2004-03-08 Claudio Sacerdoti... - reindented commit | commitdiff | tree | snapshot
2004-03-08 Claudio Sacerdoti... Disambiguation can now return more than one choice. commit | commitdiff | tree | snapshot
2004-03-05 Claudio Sacerdoti... Quick & dirty patch to overcome a bug of ocamlfind. commit | commitdiff | tree | snapshot
2004-03-05 Claudio Sacerdoti... Added option -timeout. Default is 5s. commit | commitdiff | tree | snapshot
2004-03-05 Claudio Sacerdoti... \Assign and \subst to match the parser. commit | commitdiff | tree | snapshot
2004-03-05 Claudio Sacerdoti... MutCase branches must be parsed and printed using ... commit | commitdiff | tree | snapshot
2004-03-05 Claudio Sacerdoti... Branch of MutCase must be parsed and printed using... commit | commitdiff | tree | snapshot
2004-03-05 Claudio Sacerdoti... Debugging message removed. commit | commitdiff | tree | snapshot
2004-03-05 Claudio Sacerdoti... apply_subst did not apply the substitution to the expli... commit | commitdiff | tree | snapshot
2004-03-05 Claudio Sacerdoti... Refine now raises only RefineFailure, AssertFailure... commit | commitdiff | tree | snapshot
2004-03-05 Claudio Sacerdoti... Wrong error message patched. commit | commitdiff | tree | snapshot
2004-03-05 Claudio Sacerdoti... List.nth not guarded by try ... with. Fixed. commit | commitdiff | tree | snapshot
2004-03-05 Claudio Sacerdoti... Debugging code removed. commit | commitdiff | tree | snapshot
2004-03-05 Claudio Sacerdoti... HelmLogger logging function connected to MathQL Interpr... commit | commitdiff | tree | snapshot
2004-03-05 Claudio Sacerdoti... Syntax of explicit named substitions syncronized with... commit | commitdiff | tree | snapshot
2004-03-02 Claudio Sacerdoti... Yet another error in the id regexp: numbers are allowed... commit | commitdiff | tree | snapshot
2004-03-02 Claudio Sacerdoti... Bug in guarded_by_destructors (case Rel to a definition... commit | commitdiff | tree | snapshot
2004-03-02 Claudio Sacerdoti... Big bug fixed: batchParser applied the varsprefix prefi... commit | commitdiff | tree | snapshot
2004-03-02 Claudio Sacerdoti... Improved output when [ MANY ] occurs. commit | commitdiff | tree | snapshot
2004-03-02 Claudio Sacerdoti... ... commit | commitdiff | tree | snapshot
2004-03-02 Claudio Sacerdoti... ... commit | commitdiff | tree | snapshot
2004-03-02 Claudio Sacerdoti... - Improved error messaging. commit | commitdiff | tree | snapshot
2004-03-02 Stefano Zacchiroli- ported to latest CicAst.Ident format (Some [] <>... commit | commitdiff | tree | snapshot
2004-03-02 Stefano Zacchirolidifferentieted empty substitution list from no substitu... commit | commitdiff | tree | snapshot
2004-03-02 Stefano Zacchiroli- regtest now handles more than one interpretation... commit | commitdiff | tree | snapshot
2004-03-02 Stefano Zacchiroliadded cast concrete syntax commit | commitdiff | tree | snapshot
2004-03-02 Claudio Sacerdoti... The regression tests now check also the generated disam... commit | commitdiff | tree | snapshot
2004-03-02 Claudio Sacerdoti... Regtest fixed. It can now work also with multiple answers. commit | commitdiff | tree | snapshot
2004-03-02 Claudio Sacerdoti... The disambiguation now returns a list of interpretations. commit | commitdiff | tree | snapshot
2004-03-02 Claudio Sacerdoti... The disambiguation now returns a list of interpretations. commit | commitdiff | tree | snapshot
2004-02-27 Ferruccio Guidinow database interfaces are more abstract commit | commitdiff | tree | snapshot
2004-02-26 Ferruccio Guidi- MySQL mode added to the interpreter commit | commitdiff | tree | snapshot
2004-02-26 Claudio Sacerdoti... Error message fixed. commit | commitdiff | tree | snapshot
2004-02-26 Claudio Sacerdoti... ... commit | commitdiff | tree | snapshot
2004-02-26 Claudio Sacerdoti... triciclo.conf.xml ==> gTopLevel.conf.xml commit | commitdiff | tree | snapshot
2004-02-26 Claudio Sacerdoti... Added () to MQInit.init. commit | commitdiff | tree | snapshot
2004-02-26 Claudio Sacerdoti... New implementation of eat_prods. Some residual problems... commit | commitdiff | tree | snapshot
2004-02-26 Claudio Sacerdoti... New implementation of eat_prods. commit | commitdiff | tree | snapshot
2004-02-26 Stefano Zacchiroli- better handling of temp files wrt to failures. When... commit | commitdiff | tree | snapshot
2004-02-26 Stefano Zacchiroliadded support for commands and scripts commit | commitdiff | tree | snapshot
2004-02-26 Stefano Zacchiroliadded vim modeline for encoding=utf8 commit | commitdiff | tree | snapshot
2004-02-26 Stefano Zacchiroliadded command and script ASTs with _debugging_only_... commit | commitdiff | tree | snapshot
2004-02-26 Claudio Sacerdoti... Bug fixed: names of just one character were not inserte... commit | commitdiff | tree | snapshot
2004-02-26 Claudio Sacerdoti... One MQInterpreter commit broke regtest.ml. Fixed. commit | commitdiff | tree | snapshot
2004-02-26 Claudio Sacerdoti... Optimization: since an invariant says that the inferred... commit | commitdiff | tree | snapshot
2004-02-26 Claudio Sacerdoti... ... commit | commitdiff | tree | snapshot
2004-02-26 Claudio Sacerdoti... eqT removed. commit | commitdiff | tree | snapshot
2004-02-25 Claudio Sacerdoti... Variable redefined. Fixed. commit | commitdiff | tree | snapshot
2004-02-24 Stefano Zacchiroliadded mathitaGui.mli commit | commitdiff | tree | snapshot
2004-02-24 Stefano Zacchirolisnapshot commit | commitdiff | tree | snapshot
2004-02-24 Stefano Zacchiroliadded functions and uris for binary {positive,integer} commit | commitdiff | tree | snapshot
2004-02-24 Stefano Zacchiroliadded binary {positive,integer} notation commit | commitdiff | tree | snapshot
2004-02-24 Claudio Sacerdoti... New v8.0 URIs. commit | commitdiff | tree | snapshot
2004-02-24 Claudio Sacerdoti... More uris ported to V8.0. commit | commitdiff | tree | snapshot
2004-02-24 Claudio Sacerdoti... More V8.0 uris. commit | commitdiff | tree | snapshot
2004-02-24 Claudio Sacerdoti... More v8.0 URIs. commit | commitdiff | tree | snapshot
2004-02-24 Claudio Sacerdoti... Porting URIs to V8.0. commit | commitdiff | tree | snapshot
2004-02-24 Claudio Sacerdoti... Partial porting to V8 URIs. commit | commitdiff | tree | snapshot
2004-02-24 Claudio Sacerdoti... Porting to MySql. commit | commitdiff | tree | snapshot
2004-02-24 Claudio Sacerdoti... MySQL is case sensitive. commit | commitdiff | tree | snapshot
2004-02-24 Claudio Sacerdoti... Quick patch to make everything work with MySql. commit | commitdiff | tree | snapshot
2004-02-24 Stefano Zacchiroli- added support for boolean parameters commit | commitdiff | tree | snapshot
2004-02-24 Claudio Sacerdoti... ... commit | commitdiff | tree | snapshot
2004-02-24 Claudio Sacerdoti... - Targets reorganized commit | commitdiff | tree | snapshot
2004-02-24 Claudio Sacerdoti... Added parameter format=text|xml to getalluris. commit | commitdiff | tree | snapshot
2004-02-23 Claudio Sacerdoti... A lazy value was put in place of a function ==> the... commit | commitdiff | tree | snapshot
2004-02-23 Claudio Sacerdoti... "add_server?position=0" no longer worked (raised an... commit | commitdiff | tree | snapshot
2004-02-23 Claudio Sacerdoti... No longer in use. commit | commitdiff | tree | snapshot
2004-02-23 Claudio Sacerdoti... Script to create and drop tables and indexes committed. commit | commitdiff | tree | snapshot
2004-02-23 Stefano Zacchiroliadded a space between term and "using" keyword commit | commitdiff | tree | snapshot
2004-02-23 Stefano Zacchirolicommented out a debugging message commit | commitdiff | tree | snapshot
2004-02-23 Stefano Zacchirolibugfix in "elim ... using" tactical ("using" is a keyword) commit | commitdiff | tree | snapshot
2004-02-23 Stefano Zacchiroliadded a lot of notation: arithmetic operators, relation... commit | commitdiff | tree | snapshot
2004-02-23 Stefano ZacchiroliRinv typo fix commit | commitdiff | tree | snapshot
next
Unnamed repository; edit this file 'description' to name the repository.