projects / helm.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
helm.git
2005-05-17 Stefano Zacchirolifirst check-in of cic_notation commit | commitdiff | tree | snapshot
2005-05-17 Enrico Tassifixed whelp bar commit | commitdiff | tree | snapshot
2005-05-17 Enrico Tassifixed Whelp stuff commit | commitdiff | tree | snapshot
2005-05-17 Enrico Tassiaded comment commit | commitdiff | tree | snapshot
2005-05-17 Stefano Zacchirolicosmetic changes commit | commitdiff | tree | snapshot
2005-05-17 Stefano Zacchirolibugfix: 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 Zacchirolibugfix 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 Tassiadded images commit | commitdiff | tree | snapshot
2005-05-16 Enrico Tassiadded examples commit | commitdiff | tree | snapshot
2005-05-16 Enrico Tassiadded comments, fixed history, added loadList to browser commit | commitdiff | tree | snapshot
2005-05-16 Enrico Tassisome hacks to make the sequent window pretty nice commit | commitdiff | tree | snapshot
2005-05-16 Enrico Tassifixed instance commit | commitdiff | tree | snapshot
2005-05-16 Enrico Tassiadded comments commit | commitdiff | tree | snapshot
2005-05-15 Alberto Griggioadded saturation.opt to the ignore list commit | commitdiff | tree | snapshot
2005-05-15 Alberto Griggiofixes (mainly) to demodulation and meta_convertibility commit | commitdiff | tree | snapshot
2005-05-13 Stefano Zacchiroliadded support for hits table commit | commitdiff | tree | snapshot
2005-05-13 Stefano Zacchiroliadded list and fill actions commit | commitdiff | tree | snapshot
2005-05-13 Stefano Zacchirolisync script among databases commit | commitdiff | tree | snapshot
2005-05-13 Stefano Zacchirolisupport hits table commit | commitdiff | tree | snapshot
2005-05-13 Stefano Zacchirolisql for filling hits table commit | commitdiff | tree | snapshot
2005-05-13 Stefano Zacchiroliadded hits table commit | commitdiff | tree | snapshot
2005-05-13 Enrico Tassibetter table creator commit | commitdiff | tree | snapshot
2005-05-13 Stefano Zacchiroliadded "all" table meaning "act on all tables" commit | commitdiff | tree | snapshot
2005-05-13 Stefano Zacchirolifixed commit | commitdiff | tree | snapshot
2005-05-13 Enrico Tassifix bad space commit | commitdiff | tree | snapshot
2005-05-13 Enrico Tassinow the extractor manager renames the tables (old table... commit | commitdiff | tree | snapshot
2005-05-13 Enrico Tassisome more statements commit | commitdiff | tree | snapshot
2005-05-13 Enrico Tassiadded 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 Griggioexported new_metasenv_for_apply, needed by the paramodu... commit | commitdiff | tree | snapshot
2005-05-13 Alberto Griggiofixed demodulation bug commit | commitdiff | tree | snapshot
2005-05-13 Alberto Griggiomoved string_of_equality into utils commit | commitdiff | tree | snapshot
2005-05-12 Alberto Griggiofirst commit of paramodulation-based theorem proving... commit | commitdiff | tree | snapshot
2005-05-12 Enrico Tassifixed memory leak (workaround) commit | commitdiff | tree | snapshot
2005-05-12 Stefano Zacchirolifixed Makefile commit | commitdiff | tree | snapshot
2005-05-12 Stefano Zacchirolifixed a TODO comment (MUTCASE _is_ implemented) commit | commitdiff | tree | snapshot
2005-05-12 Stefano Zacchirolihandling of variables with body commit | commitdiff | tree | snapshot
2005-05-11 Stefano Zacchirolihandle XmlPushParser.Parse_error exception commit | commitdiff | tree | snapshot
2005-05-11 Stefano Zacchiroliadded Parse_error exception and pretty printing of... commit | commitdiff | tree | snapshot
2005-05-10 Stefano Zacchirolimore detailed info about peon's problems commit | commitdiff | tree | snapshot
2005-05-10 Stefano Zacchiroliignores 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 Zacchirolimoved up xml, now needed by CicParser commit | commitdiff | tree | snapshot
2005-05-10 Stefano Zacchirolimake use of gzipped type and body commit | commitdiff | tree | snapshot
2005-05-10 Stefano Zacchirolimoved xmlPushParser in ocaml/xml/ since it does not... commit | commitdiff | tree | snapshot
2005-05-10 Stefano Zacchirolimade optional dependency on thread library and compile... commit | commitdiff | tree | snapshot
2005-05-10 Stefano Zacchiroliadded dep on expat commit | commitdiff | tree | snapshot
2005-05-10 Stefano Zacchiroliocaml/ todo list commit | commitdiff | tree | snapshot
2005-05-10 Stefano Zacchirolimoved here xmlPushParser.ml and corresponding test commit | commitdiff | tree | snapshot
2005-05-10 Stefano Zacchiroliadded 'tags' target (which index both matita/ and ocaml... commit | commitdiff | tree | snapshot
2005-05-06 Ferruccio GuidiThe README file was patched commit | commitdiff | tree | snapshot
2005-05-06 Ferruccio GuidiToolbox: preliminary version commit | commitdiff | tree | snapshot
2005-05-06 Enrico Tassiadded syntax for rewrite (TODO no rewrite-in-Hyp syntax) commit | commitdiff | tree | snapshot
2005-05-06 Enrico Tassifactorization 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 Zacchiroliadded "tags" target to generate vim tags with otags commit | commitdiff | tree | snapshot
2005-05-05 Stefano Zacchiroliadded 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 Aspertitest_instance.ma commit | commitdiff | tree | snapshot
2005-05-05 Andrea AspertiSome modifications due to instance. commit | commitdiff | tree | snapshot
2005-05-05 Stefano Zacchiroliadded .depend commit | commitdiff | tree | snapshot
2005-05-04 Enrico Tassiadded extractor_manager commit | commitdiff | tree | snapshot
2005-05-03 Enrico Tassiadded new extractor based on MetadataDb.index_obj commit | commitdiff | tree | snapshot
2005-05-03 Enrico Tassisync with SqlStatements commit | commitdiff | tree | snapshot
2005-05-03 Enrico Tassiadded DROP statements to sqlStatements commit | commitdiff | tree | snapshot
2005-05-03 Enrico Tassimore friendly sqlStatements api commit | commitdiff | tree | snapshot
2005-05-03 Enrico Tassiadded examples commit | commitdiff | tree | snapshot
2005-05-03 Enrico Tassiadded table_creator (comman line frontend to SqlStatements) commit | commitdiff | tree | snapshot
2005-05-03 Enrico Tassiadded sqlStatements module (contains all CREATE TABLE... commit | commitdiff | tree | snapshot
2005-05-03 Enrico Tassiadded instance commit | commitdiff | tree | snapshot
2005-05-03 Enrico Tassifix for instance commit | commitdiff | tree | snapshot
2005-05-03 Andrea AspertiFirst version of instance. commit | commitdiff | tree | snapshot
2005-05-02 Enrico Tassiattached auto commit | commitdiff | tree | snapshot
2005-05-02 Enrico Tassiattached auto commit | commitdiff | tree | snapshot
2005-05-02 Enrico Tassiadded the count table commit | commitdiff | tree | snapshot
2005-05-02 Enrico Tassiadded Match (partially) and sync with the count table commit | commitdiff | tree | snapshot
2005-05-02 Enrico Tassiadded ast for Match commit | commitdiff | tree | snapshot
2005-05-02 Enrico Tassiremoved no_inconcl_aux, no_concl_hyp, no_hyp and added... commit | commitdiff | tree | snapshot
2005-04-29 Enrico Tassiadded more assertions on universes when loaded from... commit | commitdiff | tree | snapshot
2005-04-29 Enrico Tassiadded the orrible hack to the parser that is needed... commit | commitdiff | tree | snapshot
2005-04-29 Enrico Tassihint -> experimental_hint commit | commitdiff | tree | snapshot
2005-04-29 Enrico Tassimain constants set is closed with constants types commit | commitdiff | tree | snapshot
2005-04-29 Enrico TassiUniverseInconsistency is now wrapper by CicRefine.type_... commit | commitdiff | tree | snapshot
2005-04-29 Enrico Tassino more moogle... now whelp (config file name and daemo... commit | commitdiff | tree | snapshot
2005-04-29 Enrico Tassiadded dump/restore environment to the debug menu commit | commitdiff | tree | snapshot
2005-04-29 Enrico Tassiadded orrible hack to make the current uri visible... commit | commitdiff | tree | snapshot
2005-04-29 Enrico Tassicatched UniverseInconsistency commit | commitdiff | tree | snapshot
2005-04-29 Enrico Tassiadded parsing time benchmark commit | commitdiff | tree | snapshot
2005-04-29 Enrico Tassifixed a typo commit | commitdiff | tree | snapshot
2005-04-29 Enrico Tassiadded parser benchamrk commit | commitdiff | tree | snapshot
2005-04-29 Stefano Zacchirolifix (ask Enrico :-) commit | commitdiff | tree | snapshot
2005-04-29 Stefano Zacchiroliuses CicUniv new assertions commit | commitdiff | tree | snapshot
2005-04-29 Stefano Zacchiroliadded assertions about graph in the environment having... commit | commitdiff | tree | snapshot
2005-04-29 Stefano Zacchiroliadded rating parameter to at_least (used by elim) commit | commitdiff | tree | snapshot
2005-04-28 Enrico Tassiattached macros: hint(partial), check commit | commitdiff | tree | snapshot
2005-04-28 Enrico Tassimoved "hint" from Command to Macro commit | commitdiff | tree | snapshot
2005-04-28 Enrico Tassideactivated coercions commit | commitdiff | tree | snapshot
next
Unnamed repository; edit this file 'description' to name the repository.