| 2005-05-24 |
Enrico Tassi | new simpl semantic (now = and not == since you can... |
commit | commitdiff | tree | snapshot |
| 2005-05-24 |
Enrico Tassi | added lost elim_intros_tac |
commit | commitdiff | tree | snapshot |
| 2005-05-24 |
Andrea Asperti | fix |
commit | commitdiff | tree | snapshot |
| 2005-05-24 |
Andrea Asperti | Added a new tactic elim_intros (without simpl of the... |
commit | commitdiff | tree | snapshot |
| 2005-05-24 |
Andrea Asperti | elim -> elim_intros (no simpl) |
commit | commitdiff | tree | snapshot |
| 2005-05-23 |
Claudio Sacerdoti... | Added sql/drop_mowgli_tables.mysql.sql |
commit | commitdiff | tree | snapshot |
| 2005-05-23 |
Stefano Zacchiroli | added rule to generate camlp4 expansion of cicNotationP... |
commit | commitdiff | tree | snapshot |
| 2005-05-23 |
Stefano Zacchiroli | snapshot |
commit | commitdiff | tree | snapshot |
| 2005-05-23 |
Stefano Zacchiroli | snapshot |
commit | commitdiff | tree | snapshot |
| 2005-05-23 |
Enrico Tassi | fixed clean that wasn't returning the right list of... |
commit | commitdiff | tree | snapshot |
| 2005-05-23 |
Enrico Tassi | added qed |
commit | commitdiff | tree | snapshot |
| 2005-05-23 |
Andrea Asperti | Added andrea.ma |
commit | commitdiff | tree | snapshot |
| 2005-05-22 |
Stefano Zacchiroli | switched to cdbs for debian/rules (now 2 lines long... |
commit | commitdiff | tree | snapshot |
| 2005-05-20 |
Andrea Asperti | When we unify a Prod against a term t2 which is not... |
commit | commitdiff | tree | snapshot |
| 2005-05-20 |
Andrea Asperti | Added a whd on ty in new_metasenv for apply, in order... |
commit | commitdiff | tree | snapshot |
| 2005-05-20 |
Andrea Asperti | Hint repaired (an erroneous commit by myself). |
commit | commitdiff | tree | snapshot |
| 2005-05-19 |
Enrico Tassi | fix |
commit | commitdiff | tree | snapshot |
| 2005-05-19 |
Alberto Griggio | added lpo term-ordering |
commit | commitdiff | tree | snapshot |
| 2005-05-19 |
Alberto Griggio | various optimizations (to paramodulation and passive... |
commit | commitdiff | tree | snapshot |
| 2005-05-19 |
Stefano Zacchiroli | commented out some debugging messages |
commit | commitdiff | tree | snapshot |
| 2005-05-19 |
Stefano Zacchiroli | connected instance to the web search engine |
commit | commitdiff | tree | snapshot |
| 2005-05-19 |
Stefano Zacchiroli | changed debugging code which saves xml input document... |
commit | commitdiff | tree | snapshot |
| 2005-05-19 |
Stefano Zacchiroli | - die on CTRL-C or init.d/... stop instead of resurrecting |
commit | commitdiff | tree | snapshot |
| 2005-05-19 |
Stefano Zacchiroli | unified grammars and lexers in a single one |
commit | commitdiff | tree | snapshot |
| 2005-05-18 |
Enrico Tassi | fixed some macros, added test_abort.ma |
commit | commitdiff | tree | snapshot |
| 2005-05-18 |
Stefano Zacchiroli | snapshot (implemented level 3 grammar) |
commit | commitdiff | tree | snapshot |
| 2005-05-18 |
Enrico Tassi | fixed some TODO in content2pres |
commit | commitdiff | tree | snapshot |
| 2005-05-18 |
Stefano Zacchiroli | snapshot, notably: |
commit | commitdiff | tree | snapshot |
| 2005-05-17 |
Stefano Zacchiroli | snapshot, notably: |
commit | commitdiff | tree | snapshot |
| 2005-05-17 |
Stefano Zacchiroli | snapshot |
commit | commitdiff | tree | snapshot |
| 2005-05-17 |
Stefano Zacchiroli | first check-in of cic_notation |
commit | commitdiff | tree | snapshot |
| 2005-05-17 |
Enrico Tassi | fixed whelp bar |
commit | commitdiff | tree | snapshot |
| 2005-05-17 |
Enrico Tassi | fixed Whelp stuff |
commit | commitdiff | tree | snapshot |
| 2005-05-17 |
Enrico Tassi | aded comment |
commit | commitdiff | tree | snapshot |
| 2005-05-17 |
Stefano Zacchiroli | cosmetic changes |
commit | commitdiff | tree | snapshot |
| 2005-05-17 |
Stefano Zacchiroli | bugfix: avoid duplicate entries while indexing (changed... |
commit | commitdiff | tree | snapshot |
| 2005-05-17 |
Stefano Zacchiroli | - cathes more Mysql errors which could happen during... |
commit | commitdiff | tree | snapshot |
| 2005-05-17 |
Stefano Zacchiroli | bugfix in elim, cardinality constraint should >= 1... |
commit | commitdiff | tree | snapshot |
| 2005-05-16 |
Stefano Zacchiroli | - no longer needs PXP |
commit | commitdiff | tree | snapshot |
| 2005-05-16 |
Enrico Tassi | added images |
commit | commitdiff | tree | snapshot |
| 2005-05-16 |
Enrico Tassi | added examples |
commit | commitdiff | tree | snapshot |
| 2005-05-16 |
Enrico Tassi | added comments, fixed history, added loadList to browser |
commit | commitdiff | tree | snapshot |
| 2005-05-16 |
Enrico Tassi | some hacks to make the sequent window pretty nice |
commit | commitdiff | tree | snapshot |
| 2005-05-16 |
Enrico Tassi | fixed instance |
commit | commitdiff | tree | snapshot |
| 2005-05-16 |
Enrico Tassi | added comments |
commit | commitdiff | tree | snapshot |
| 2005-05-15 |
Alberto Griggio | added saturation.opt to the ignore list |
commit | commitdiff | tree | snapshot |
| 2005-05-15 |
Alberto Griggio | fixes (mainly) to demodulation and meta_convertibility |
commit | commitdiff | tree | snapshot |
| 2005-05-13 |
Stefano Zacchiroli | added support for hits table |
commit | commitdiff | tree | snapshot |
| 2005-05-13 |
Stefano Zacchiroli | added list and fill actions |
commit | commitdiff | tree | snapshot |
| 2005-05-13 |
Stefano Zacchiroli | sync script among databases |
commit | commitdiff | tree | snapshot |
| 2005-05-13 |
Stefano Zacchiroli | support hits table |
commit | commitdiff | tree | snapshot |
| 2005-05-13 |
Stefano Zacchiroli | sql for filling hits table |
commit | commitdiff | tree | snapshot |
| 2005-05-13 |
Stefano Zacchiroli | added hits table |
commit | commitdiff | tree | snapshot |
| 2005-05-13 |
Enrico Tassi | better table creator |
commit | commitdiff | tree | snapshot |
| 2005-05-13 |
Stefano Zacchiroli | added "all" table meaning "act on all tables" |
commit | commitdiff | tree | snapshot |
| 2005-05-13 |
Stefano Zacchiroli | fixed |
commit | commitdiff | tree | snapshot |
| 2005-05-13 |
Enrico Tassi | fix bad space |
commit | commitdiff | tree | snapshot |
| 2005-05-13 |
Enrico Tassi | now the extractor manager renames the tables (old table... |
commit | commitdiff | tree | snapshot |
| 2005-05-13 |
Enrico Tassi | some more statements |
commit | commitdiff | tree | snapshot |
| 2005-05-13 |
Enrico Tassi | added index on refRel and the rename table statements |
commit | commitdiff | tree | snapshot |
| 2005-05-13 |
Stefano Zacchiroli | - ported to new ocaml-http API |
commit | commitdiff | tree | snapshot |
| 2005-05-13 |
Alberto Griggio | exported new_metasenv_for_apply, needed by the paramodu... |
commit | commitdiff | tree | snapshot |
| 2005-05-13 |
Alberto Griggio | fixed demodulation bug |
commit | commitdiff | tree | snapshot |
| 2005-05-13 |
Alberto Griggio | moved string_of_equality into utils |
commit | commitdiff | tree | snapshot |
| 2005-05-12 |
Alberto Griggio | first commit of paramodulation-based theorem proving... |
commit | commitdiff | tree | snapshot |
| 2005-05-12 |
Enrico Tassi | fixed memory leak (workaround) |
commit | commitdiff | tree | snapshot |
| 2005-05-12 |
Stefano Zacchiroli | fixed Makefile |
commit | commitdiff | tree | snapshot |
| 2005-05-12 |
Stefano Zacchiroli | fixed a TODO comment (MUTCASE _is_ implemented) |
commit | commitdiff | tree | snapshot |
| 2005-05-12 |
Stefano Zacchiroli | handling of variables with body |
commit | commitdiff | tree | snapshot |
| 2005-05-11 |
Stefano Zacchiroli | handle XmlPushParser.Parse_error exception |
commit | commitdiff | tree | snapshot |
| 2005-05-11 |
Stefano Zacchiroli | added Parse_error exception and pretty printing of... |
commit | commitdiff | tree | snapshot |
| 2005-05-10 |
Stefano Zacchiroli | more detailed info about peon's problems |
commit | commitdiff | tree | snapshot |
| 2005-05-10 |
Stefano Zacchiroli | ignores test and test.opt |
commit | commitdiff | tree | snapshot |
| 2005-05-10 |
Stefano Zacchiroli | - changes defaults of getxml (format gzipped, don't... |
commit | commitdiff | tree | snapshot |
| 2005-05-10 |
Stefano Zacchiroli | moved up xml, now needed by CicParser |
commit | commitdiff | tree | snapshot |
| 2005-05-10 |
Stefano Zacchiroli | make use of gzipped type and body |
commit | commitdiff | tree | snapshot |
| 2005-05-10 |
Stefano Zacchiroli | moved xmlPushParser in ocaml/xml/ since it does not... |
commit | commitdiff | tree | snapshot |
| 2005-05-10 |
Stefano Zacchiroli | made optional dependency on thread library and compile... |
commit | commitdiff | tree | snapshot |
| 2005-05-10 |
Stefano Zacchiroli | added dep on expat |
commit | commitdiff | tree | snapshot |
| 2005-05-10 |
Stefano Zacchiroli | ocaml/ todo list |
commit | commitdiff | tree | snapshot |
| 2005-05-10 |
Stefano Zacchiroli | moved here xmlPushParser.ml and corresponding test |
commit | commitdiff | tree | snapshot |
| 2005-05-10 |
Stefano Zacchiroli | added 'tags' target (which index both matita/ and ocaml... |
commit | commitdiff | tree | snapshot |
| 2005-05-06 |
Ferruccio Guidi | The README file was patched |
commit | commitdiff | tree | snapshot |
| 2005-05-06 |
Ferruccio Guidi | Toolbox: preliminary version |
commit | commitdiff | tree | snapshot |
| 2005-05-06 |
Enrico Tassi | added syntax for rewrite (TODO no rewrite-in-Hyp syntax) |
commit | commitdiff | tree | snapshot |
| 2005-05-06 |
Enrico Tassi | factorization of rewrite. |
commit | commitdiff | tree | snapshot |
| 2005-05-05 |
Stefano Zacchiroli | - ported to new CicParser interface which requires... |
commit | commitdiff | tree | snapshot |
| 2005-05-05 |
Stefano Zacchiroli | added "tags" target to generate vim tags with otags |
commit | commitdiff | tree | snapshot |
| 2005-05-05 |
Stefano Zacchiroli | added test and test.opt targets |
commit | commitdiff | tree | snapshot |
| 2005-05-05 |
Stefano Zacchiroli | - implemented CicPushParser which parser CIC objects... |
commit | commitdiff | tree | snapshot |
| 2005-05-05 |
Stefano Zacchiroli | - added .cvsignore |
commit | commitdiff | tree | snapshot |
| 2005-05-05 |
Andrea Asperti | test_instance.ma |
commit | commitdiff | tree | snapshot |
| 2005-05-05 |
Andrea Asperti | Some modifications due to instance. |
commit | commitdiff | tree | snapshot |
| 2005-05-05 |
Stefano Zacchiroli | added .depend |
commit | commitdiff | tree | snapshot |
| 2005-05-04 |
Enrico Tassi | added extractor_manager |
commit | commitdiff | tree | snapshot |
| 2005-05-03 |
Enrico Tassi | added new extractor based on MetadataDb.index_obj |
commit | commitdiff | tree | snapshot |
| 2005-05-03 |
Enrico Tassi | sync with SqlStatements |
commit | commitdiff | tree | snapshot |
| 2005-05-03 |
Enrico Tassi | added DROP statements to sqlStatements |
commit | commitdiff | tree | snapshot |
| 2005-05-03 |
Enrico Tassi | more friendly sqlStatements api |
commit | commitdiff | tree | snapshot |
| 2005-05-03 |
Enrico Tassi | added examples |
commit | commitdiff | tree | snapshot |
| next |
projects / helm.git / shortlog