| 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 |
| 2005-05-03 |
Enrico Tassi | added table_creator (comman line frontend to SqlStatements) |
commit | commitdiff | tree | snapshot |
| 2005-05-03 |
Enrico Tassi | added sqlStatements module (contains all CREATE TABLE... |
commit | commitdiff | tree | snapshot |
| 2005-05-03 |
Enrico Tassi | added instance |
commit | commitdiff | tree | snapshot |
| 2005-05-03 |
Enrico Tassi | fix for instance |
commit | commitdiff | tree | snapshot |
| 2005-05-03 |
Andrea Asperti | First version of instance. |
commit | commitdiff | tree | snapshot |
| 2005-05-02 |
Enrico Tassi | attached auto |
commit | commitdiff | tree | snapshot |
| 2005-05-02 |
Enrico Tassi | attached auto |
commit | commitdiff | tree | snapshot |
| 2005-05-02 |
Enrico Tassi | added the count table |
commit | commitdiff | tree | snapshot |
| 2005-05-02 |
Enrico Tassi | added Match (partially) and sync with the count table |
commit | commitdiff | tree | snapshot |
| 2005-05-02 |
Enrico Tassi | added ast for Match |
commit | commitdiff | tree | snapshot |
| 2005-05-02 |
Enrico Tassi | removed no_inconcl_aux, no_concl_hyp, no_hyp and added... |
commit | commitdiff | tree | snapshot |
| 2005-04-29 |
Enrico Tassi | added more assertions on universes when loaded from... |
commit | commitdiff | tree | snapshot |
| 2005-04-29 |
Enrico Tassi | added the orrible hack to the parser that is needed... |
commit | commitdiff | tree | snapshot |
| 2005-04-29 |
Enrico Tassi | hint -> experimental_hint |
commit | commitdiff | tree | snapshot |
| 2005-04-29 |
Enrico Tassi | main constants set is closed with constants types |
commit | commitdiff | tree | snapshot |
| 2005-04-29 |
Enrico Tassi | UniverseInconsistency is now wrapper by CicRefine.type_... |
commit | commitdiff | tree | snapshot |
| 2005-04-29 |
Enrico Tassi | no more moogle... now whelp (config file name and daemo... |
commit | commitdiff | tree | snapshot |
| 2005-04-29 |
Enrico Tassi | added dump/restore environment to the debug menu |
commit | commitdiff | tree | snapshot |
| next |
projects / helm.git / shortlog