]> matita.cs.unibo.it Git - helm.git/history - helm/software/matita
projects / helm.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
do not infer on closed goals
[helm.git] / helm / software / matita /
2009-06-29 Enrico Tassiremoved a maybe diverging test tree | commitdiff
2009-06-26 Andrea Aspertitest for deep subsumption added tree | commitdiff
2009-06-23 Enrico Tassiremoved problem not in UEQ tree | commitdiff
2009-06-22 denesAdded problems from CASC 208 tree | commitdiff
2009-06-22 denesRegenerated problems with corrected tptp2grafite tree | commitdiff
2009-06-21 Wilmer RicciottiAdded injective compose tree | commitdiff
2009-06-20 Wilmer RicciottiSome notation and additional lemmata. tree | commitdiff
2009-06-19 Claudio Sacerdoti... "matitaclean all" ported to NG tree | commitdiff
2009-06-19 Wilmer RicciottiMore improvements. tree | commitdiff
2009-06-19 Claudio Sacerdoti... Persistent db (to lookup names in the library) ineffici... tree | commitdiff
2009-06-19 Claudio Sacerdoti... Estatus finally merged into the global status using... tree | commitdiff
2009-06-19 Claudio Sacerdoti... Useless GrafiteTypes.get_baseuri removed. tree | commitdiff
2009-06-19 Claudio Sacerdoti... More statuses converted to objects. tree | commitdiff
2009-06-18 Enrico Tassibetter exception handling tree | commitdiff
2009-06-18 Claudio Sacerdoti... Objects are now used to represent also the tactic status. tree | commitdiff
2009-06-18 Enrico Tassicallbacks were taking in input a status bu were not... tree | commitdiff
2009-06-18 denesFixed stupid path tree | commitdiff
2009-06-18 denesAdded script useful for running benchmarks tree | commitdiff
2009-06-18 Claudio Sacerdoti... Stricter type: the type now shows that disambiguation... tree | commitdiff
2009-06-18 Claudio Sacerdoti... 1) grafiteWalker removed tree | commitdiff
2009-06-17 Claudio Sacerdoti... Initial implementation of statuses using objects in... tree | commitdiff
2009-06-16 Claudio Sacerdoti... FIX OF THE PREVIOUS EXPERIMENTAL COMMIT: tree | commitdiff
2009-06-15 Enrico TassiEXPERIMENTAL COMMIT (part B, by CSC :-): tree | commitdiff
2009-06-15 Enrico TassiEXPERIMENTAL COMMIT (by CSC,actuall :-) tree | commitdiff
2009-06-15 Enrico Tassi... tree | commitdiff
2009-06-15 Enrico Tassiadded TODO list tree | commitdiff
2009-06-15 Enrico Tassihuge commit regarding the grafite_status: tree | commitdiff
2009-06-15 Enrico Tassitacticals are really tactics now, they have an AST... tree | commitdiff
2009-06-13 Ferruccio Guidiwe removed some coercion detours and we added some... tree | commitdiff
2009-06-12 Enrico Tassi-ng implemented tree | commitdiff
2009-06-11 denesActive goals are now demodulated after selecting a... tree | commitdiff
2009-06-11 Ferruccio Guidi- applyTransformation: bugfix in the rendering of records tree | commitdiff
2009-06-11 Ferruccio Guidi- some depend files fixed tree | commitdiff
2009-06-10 Ferruccio Guidi- library/list/list.ma: unused code commented tree | commitdiff
2009-06-10 Enrico Tassi1) added simplification of actives w.r.t. selected tree | commitdiff
2009-06-09 Ferruccio Guidi- Procedural: more support for the Debug inline option... tree | commitdiff
2009-06-09 Enrico Tassisnapshot tree | commitdiff
2009-06-06 Claudio Sacerdoti... Previous commit reverted, as explained in that log. tree | commitdiff
2009-06-06 Claudio Sacerdoti... This commit restores the ids_to_father_ids table. tree | commitdiff
2009-06-05 Ferruccio Guidi- Procedural convertible rewrites in the conclusion... tree | commitdiff
2009-06-05 denesFirst tests for paramodulation (pretty printer, unifica... tree | commitdiff
2009-06-05 Wilmer Ricciotti- replaced part1a/defn with the version based on induct... tree | commitdiff
2009-06-05 Claudio Sacerdoti... 1) the home button of CicBrowser now works also for NG tree | commitdiff
2009-06-03 Ferruccio Guidi- boxPp: added missing spaces tree | commitdiff
2009-06-03 Wilmer RicciottiUpdate, using induction/inversion. tree | commitdiff
2009-06-03 Andrea Aspertinot_to_not tree | commitdiff
2009-06-03 Claudio Sacerdoti... New test for NG notation. tree | commitdiff
2009-06-03 Claudio Sacerdoti... Huge commit with several changes: tree | commitdiff
2009-06-01 Andrea AspertiThis works for me tree | commitdiff
2009-05-29 Wilmer RicciottiPOPLmark part 1a using the de Bruijn encoding. tree | commitdiff
2009-05-29 Ferruccio Guidi- cicNotationParser: added extra space to TeX control... tree | commitdiff
2009-05-28 Ferruccio Guidi- cicInspect: relevant nodes count updated: letin nodes... tree | commitdiff
2009-05-26 Claudio Sacerdoti... ... tree | commitdiff
2009-05-26 Claudio Sacerdoti... ... tree | commitdiff
2009-05-26 Andrea Aspertiremoved a call to autobatch. tree | commitdiff
2009-05-25 Enrico Tassinasty change in the lexer/parser: tree | commitdiff
2009-05-22 Ferruccio Guidibugfix in the output notation for eq tree | commitdiff
2009-05-21 Andrea Aspertiautobatch -> autobatch by tree | commitdiff
2009-05-19 Enrico Tassi... tree | commitdiff
2009-05-19 Enrico Tassiregenerated tree | commitdiff
2009-05-19 Enrico Tassisome horn+equality problems tree | commitdiff
2009-05-18 Claudio Sacerdoti... removed byte queries tree | commitdiff
2009-05-18 Enrico Tassiin the new kernel you can type Type[i] to mean Type_i... tree | commitdiff
2009-05-17 Claudio Sacerdoti... ... tree | commitdiff
2009-05-17 Enrico Tassibyte tests disabled tree | commitdiff
2009-05-14 Ferruccio Guidi- libraryObjects: new default "natural numbers" with... tree | commitdiff
2009-05-13 Ferruccio Guidiinterpretations placed right after the corresponding... tree | commitdiff
2009-05-13 Ferruccio Guidi- matitaEngine: some commands like "coercion" must... tree | commitdiff
2009-05-13 Andrea AspertiVia un'altra linea... tree | commitdiff
2009-05-13 Andrea AspertiSempre piu' breve tree | commitdiff
2009-05-12 Claudio Sacerdoti... Do we really want to generate eliminators for nested... tree | commitdiff
2009-05-12 Claudio Sacerdoti... All weakly positive types but imbricated ones are now... tree | commitdiff
2009-05-12 Ferruccio Guidi- Procedural: we now reconstruct "let H := v in t"... tree | commitdiff
2009-05-11 Claudio Sacerdoti... Some experiments in generation of elimination principles. tree | commitdiff
2009-05-11 Andrea AspertiA few lemmas about inclusion. tree | commitdiff
2009-05-11 Andrea AspertiMore automation tree | commitdiff
2009-05-08 Claudio Sacerdoti... Stupid typing error fixed. tree | commitdiff
2009-05-08 Claudio Sacerdoti... Improved tests (for left parameters and mutual recursiv... tree | commitdiff
2009-05-08 Andrea Aspertiversione automatizzata tree | commitdiff
2009-05-08 Andrea Aspertisymmetry of inequality sym_neq tree | commitdiff
2009-05-07 Ferruccio Guididocumentation for the inline command tree | commitdiff
2009-05-06 Ferruccio GuidiLAMBDA-TYPES: mma's recommitted because inline syntax... tree | commitdiff
2009-05-06 Ferruccio Guidi- cicUtil: is_sober now detects folded applications tree | commitdiff
2009-05-06 Enrico Tassiapply and auto.equational_case call saturation.solve_na... tree | commitdiff
2009-05-05 Ferruccio Guidi- hExtlib: new function "list_assoc_all" tree | commitdiff
2009-05-05 Enrico Tassimore tests tree | commitdiff
2009-05-05 Andrea Aspertiautobatch by tree | commitdiff
2009-05-01 Ferruccio Guidi- librarian: 3 bugs fixed in the building system: tree | commitdiff
2009-04-30 Enrico Tassirun check_if_goal_is_solved on all goals (active+passive) tree | commitdiff
2009-04-30 Matthias PuechAdded an option --enable-annot to the configure to... tree | commitdiff
2009-04-30 Andrea AspertiMinor changes pro-automation tree | commitdiff
2009-04-29 Claudio Sacerdoti... Refinement of inductive type implemented. tree | commitdiff
2009-04-29 Ferruccio Guidi- procedural: bugfix in "Barendregt convention" test tree | commitdiff
2009-04-29 Enrico Tassi... tree | commitdiff
2009-04-29 Claudio Sacerdoti... Records are now interpreted in the NG (but I am sure... tree | commitdiff
2009-04-28 Claudio Sacerdoti... Last commit by Ferruccio reverted since it breaks the... tree | commitdiff
2009-04-28 Ferruccio GuidicicNotationUtil: in fresh_name_generator, "\eta" replac... tree | commitdiff
2009-04-28 Enrico Tassihuge commit in automation: tree | commitdiff
2009-04-27 Ferruccio GuidimatitacLib: bugfix in .moo generation tree | commitdiff
2009-04-26 Claudio Sacerdoti... The backward compatible management of aliases for NG... tree | commitdiff
next
Unnamed repository; edit this file 'description' to name the repository.