| 2008-09-16 |
Enrico Tassi | new directory for the newGeneration refiner |
tree | commitdiff |
| 2008-09-15 |
Claudio Sacerdoti... | BTop is a category. |
tree | commitdiff |
| 2008-09-12 |
Ferruccio Guidi | old bug in mtime computation fixed |
tree | commitdiff |
| 2008-09-12 |
Claudio Sacerdoti... | ... |
tree | commitdiff |
| 2008-09-12 |
Claudio Sacerdoti... | 1) as usual, I took the reverse notation for composition. |
tree | commitdiff |
| 2008-09-11 |
Claudio Sacerdoti... | helm mailing list moved to cs.unibo.it |
tree | commitdiff |
| 2008-09-10 |
Ferruccio Guidi | we skip discharging on matita opbjects (they don't... |
tree | commitdiff |
| 2008-09-10 |
Ferruccio Guidi | cicDischarge, Procedural: we improved debugging and... |
tree | commitdiff |
| 2008-09-10 |
Enrico Tassi | reverted auto experiment |
tree | commitdiff |
| 2008-09-10 |
Enrico Tassi | AGAIN A TEST |
tree | commitdiff |
| 2008-09-10 |
Enrico Tassi | COMMIT TO JUST RUN A BENCH, SHOULD BE REVERTED ASAP... |
tree | commitdiff |
| 2008-09-09 |
Claudio Sacerdoti... | Reordering of lemmas in proper places. |
tree | commitdiff |
| 2008-09-09 |
Claudio Sacerdoti... | Concrete spaces do form a category, after all :-) |
tree | commitdiff |
| 2008-09-09 |
Enrico Tassi | some work to make tries "printable", fixed comparison... |
tree | commitdiff |
| 2008-09-09 |
Claudio Sacerdoti... | Getting closer thanks to more technical arrangements. |
tree | commitdiff |
| 2008-09-08 |
Claudio Sacerdoti... | ... |
tree | commitdiff |
| 2008-09-08 |
Enrico Tassi | ... |
tree | commitdiff |
| 2008-09-08 |
Claudio Sacerdoti... | Concrete spaces now defined. |
tree | commitdiff |
| 2008-09-08 |
Claudio Sacerdoti... | Case c1 t1 vs c2 t2 where c1 and c2 are not splitted... |
tree | commitdiff |
| 2008-09-07 |
Ferruccio Guidi | cicDischarge: we still have some problems here. Some... |
tree | commitdiff |
| 2008-09-06 |
Ferruccio Guidi | we always save the discharged object for future reference |
tree | commitdiff |
| 2008-09-05 |
Ferruccio Guidi | we have to remove the Num directory :) |
tree | commitdiff |
| 2008-09-05 |
Ferruccio Guidi | transcript: we now check for non-existing objects |
tree | commitdiff |
| 2008-09-05 |
Enrico Tassi | ... |
tree | commitdiff |
| 2008-09-05 |
Enrico Tassi | unification+pullback fix. It used to saturate a coercio... |
tree | commitdiff |
| 2008-09-04 |
Ferruccio Guidi | transcript: improved debuugging facilities |
tree | commitdiff |
| 2008-09-04 |
Claudio Sacerdoti... | ... |
tree | commitdiff |
| 2008-09-04 |
Ferruccio Guidi | we forgot to delete the old CoRN mma files :) |
tree | commitdiff |
| 2008-09-04 |
Ferruccio Guidi | transcript: we improved the parser/lexer to read the... |
tree | commitdiff |
| 2008-09-04 |
Enrico Tassi | fixed case of divergence |
tree | commitdiff |
| 2008-09-04 |
Enrico Tassi | fixed notation |
tree | commitdiff |
| 2008-09-04 |
Enrico Tassi | restored |
tree | commitdiff |
| 2008-09-04 |
Enrico Tassi | .... |
tree | commitdiff |
| 2008-09-04 |
Enrico Tassi | ... |
tree | commitdiff |
| 2008-09-04 |
Claudio Sacerdoti... | ... |
tree | commitdiff |
| 2008-09-04 |
Enrico Tassi | removed debug pps |
tree | commitdiff |
| 2008-09-04 |
Enrico Tassi | comparison function fixed |
tree | commitdiff |
| 2008-09-04 |
Enrico Tassi | ... |
tree | commitdiff |
| 2008-09-04 |
Enrico Tassi | removed old non-working file |
tree | commitdiff |
| 2008-09-04 |
Enrico Tassi | notation_id were compared using Pervasives.equal this... |
tree | commitdiff |
| 2008-09-04 |
Enrico Tassi | stop running LAMBDA-TYPES as a test, can be reactivated... |
tree | commitdiff |
| 2008-09-04 |
Claudio Sacerdoti... | hbox => hvbox in constructor arguments in match patterns. |
tree | commitdiff |
| 2008-09-03 |
Claudio Sacerdoti... | Setoids are now more pervasive. |
tree | commitdiff |
| 2008-09-02 |
Claudio Sacerdoti... | Uri ending in '' were not accepted. Fixed. |
tree | commitdiff |
| 2008-09-01 |
Claudio Sacerdoti... | new debugging option |
tree | commitdiff |
| 2008-08-31 |
Claudio Sacerdoti... | Relations are now closer to Sambin's ones. I.e. they... |
tree | commitdiff |
| 2008-08-28 |
Enrico Tassi | ... |
tree | commitdiff |
| 2008-08-28 |
Enrico Tassi | ... |
tree | commitdiff |
| 2008-08-28 |
Ferruccio Guidi | new baseuri for procedural CoRN |
tree | commitdiff |
| 2008-08-28 |
Ferruccio Guidi | applyTransformation: variable discharging in procedural... |
tree | commitdiff |
| 2008-08-28 |
Ferruccio Guidi | cicDischarge: new module for discharging the explicit... |
tree | commitdiff |
| 2008-08-27 |
Claudio Sacerdoti... | Convergence is now defined. |
tree | commitdiff |
| 2008-08-27 |
Claudio Sacerdoti... | Better notation, in particular for subset comprehension. |
tree | commitdiff |
| 2008-08-26 |
Claudio Sacerdoti... | Notation |.| moved to core_notation. |
tree | commitdiff |
| 2008-08-26 |
Enrico Tassi | fixed some stuff |
tree | commitdiff |
| 2008-08-25 |
Ferruccio Guidi | bug fix in inline syntax |
tree | commitdiff |
| 2008-08-25 |
Claudio Sacerdoti... | ... |
tree | commitdiff |
| 2008-08-25 |
Claudio Sacerdoti... | New categories REL and BP. |
tree | commitdiff |
| 2008-08-25 |
Claudio Sacerdoti... | New cool "type-checking" notation using colors and... |
tree | commitdiff |
| 2008-08-25 |
Claudio Sacerdoti... | Do not mess with my window manager: the Cic Browsers... |
tree | commitdiff |
| 2008-08-25 |
Claudio Sacerdoti... | Non-linear patterns are now allowed in notations. |
tree | commitdiff |
| 2008-08-25 |
Ferruccio Guidi | transcript: bug fix in the generation of axioms |
tree | commitdiff |
| 2008-08-24 |
Enrico Tassi | ... |
tree | commitdiff |
| 2008-08-23 |
Ferruccio Guidi | Procedural: bug fix in comment generation |
tree | commitdiff |
| 2008-08-23 |
Enrico Tassi | ... |
tree | commitdiff |
| 2008-08-23 |
Enrico Tassi | ... |
tree | commitdiff |
| 2008-08-23 |
Claudio Sacerdoti... | Definition of categories. |
tree | commitdiff |
| 2008-08-23 |
Claudio Sacerdoti... | Some notation moved to core_notation. |
tree | commitdiff |
| 2008-08-23 |
Claudio Sacerdoti... | Also create the graphviz graph. |
tree | commitdiff |
| 2008-08-23 |
Claudio Sacerdoti... | New debug item to print aliases. |
tree | commitdiff |
| 2008-08-23 |
Ferruccio Guidi | Procedural: explicit flavour specification for constant... |
tree | commitdiff |
| 2008-08-23 |
Enrico Tassi | notation with mstyle attributes, like colors and size |
tree | commitdiff |
| 2008-08-23 |
Enrico Tassi | ... |
tree | commitdiff |
| 2008-08-21 |
Enrico Tassi | pango escape fixed |
tree | commitdiff |
| 2008-08-21 |
Enrico Tassi | ... |
tree | commitdiff |
| 2008-08-21 |
Claudio Sacerdoti... | Avoid warning. |
tree | commitdiff |
| 2008-08-21 |
Claudio Sacerdoti... | Added catching of an exception to implement a missing... |
tree | commitdiff |
| 2008-08-21 |
Ferruccio Guidi | basic support for imposed flavour in procedural object... |
tree | commitdiff |
| 2008-08-17 |
Enrico Tassi | escape < in pango attrs |
tree | commitdiff |
| 2008-08-16 |
Enrico Tassi | added support for font scaling to autogui |
tree | commitdiff |
| 2008-08-16 |
Enrico Tassi | added interpretation for \naturals, \rationals, and... |
tree | commitdiff |
| 2008-08-12 |
Wilmer Ricciotti | Fixed two legacy comments |
tree | commitdiff |
| 2008-08-01 |
Enrico Tassi | fixed recursiveness check |
tree | commitdiff |
| 2008-08-01 |
Enrico Tassi | fixed recursiveness check |
tree | commitdiff |
| 2008-07-30 |
Enrico Tassi | fixed check, if 0 constructors then no List.nth is... |
tree | commitdiff |
| 2008-07-30 |
Enrico Tassi | allowed sort elim now check for recursive types |
tree | commitdiff |
| 2008-07-30 |
Enrico Tassi | fixed allowed sort elim |
tree | commitdiff |
| 2008-07-30 |
Claudio Sacerdoti... | Missing check implemented: uniformity of left parameter... |
tree | commitdiff |
| 2008-07-30 |
Claudio Sacerdoti... | Missing check in positivity implemented: we did not... |
tree | commitdiff |
| 2008-07-25 |
Enrico Tassi | - too strict check on left parameters of constructors... |
tree | commitdiff |
| 2008-07-25 |
Claudio Sacerdoti... | AST to ASTFE completed up to a few computational (... |
tree | commitdiff |
| 2008-07-23 |
Enrico Tassi | 0.5.3 |
tree | commitdiff |
| 2008-07-23 |
Enrico Tassi | some more fixes |
tree | commitdiff |
| 2008-07-23 |
Enrico Tassi | fixed some GUI glitches |
tree | commitdiff |
| 2008-07-23 |
Enrico Tassi | positivity check fixed |
tree | commitdiff |
| 2008-07-23 |
Enrico Tassi | ... |
tree | commitdiff |
| 2008-07-23 |
Enrico Tassi | positivity check fixed, some subterms were erroneously... |
tree | commitdiff |
| 2008-07-23 |
Enrico Tassi | universes in CicBrowser |
tree | commitdiff |
| 2008-07-23 |
Enrico Tassi | better ranking interface |
tree | commitdiff |
| 2008-07-23 |
Enrico Tassi | better tex/utf8 win |
tree | commitdiff |
| next |
projects / helm.git / history