2008-09-16 |
Claudio Sacerdoti... | Definition of formal_topologies. |
tree | commitdiff |
2008-09-15 |
Claudio Sacerdoti... | BTop is a category. |
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 |
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 |
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-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 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 | ... |
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-03 |
Claudio Sacerdoti... | Setoids are now more pervasive. |
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-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 |
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 |
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 |
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 | ... |
tree | commitdiff |
2008-08-21 |
Enrico Tassi | pango escape fixed |
tree | commitdiff |
2008-08-21 |
Enrico Tassi | ... |
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-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 | universes in CicBrowser |
tree | commitdiff |
2008-07-23 |
Enrico Tassi | better tex/utf8 win |
tree | commitdiff |
2008-07-23 |
Enrico Tassi | better cb |
tree | commitdiff |
2008-07-23 |
Enrico Tassi | better UI for TeX/Unicode and terms grammar |
tree | commitdiff |
2008-07-23 |
Claudio Sacerdoti... | Update. |
tree | commitdiff |
2008-07-23 |
Enrico Tassi | remove bad aliases from toolbox |
tree | commitdiff |
2008-07-23 |
Claudio Sacerdoti... | Universe levels fixed. |
tree | commitdiff |
2008-07-22 |
Ferruccio Guidi | matitadep: we now handle the inline of an uri, we remov... |
tree | commitdiff |
2008-07-22 |
Ferruccio Guidi | transcript: now we can generate procedural output |
tree | commitdiff |
2008-07-22 |
Enrico Tassi | ... |
tree | commitdiff |
2008-07-22 |
Enrico Tassi | ... |
tree | commitdiff |
2008-07-22 |
Claudio Sacerdoti... | In some universe, membership is a morphism. |
tree | commitdiff |
2008-07-22 |
Claudio Sacerdoti... | Sambin's & Valentini's toolbox (???) |
tree | commitdiff |
2008-07-22 |
Claudio Sacerdoti... | Dependencies removed. |
tree | commitdiff |
2008-07-21 |
Enrico Tassi | ... |
tree | commitdiff |
2008-07-21 |
Claudio Sacerdoti... | frac is an infix operator! |
tree | commitdiff |
2008-07-21 |
Ferruccio Guidi | we implemented the support for generating ma files... |
tree | commitdiff |
2008-07-21 |
Enrico Tassi | added notes about notation |
tree | commitdiff |
2008-07-21 |
Enrico Tassi | add conf key matita.debug_menu |
tree | commitdiff |
2008-07-21 |
Claudio Sacerdoti... | ... |
tree | commitdiff |
2008-07-21 |
Claudio Sacerdoti... | Semantic analysis implemented (sort of). |
tree | commitdiff |
2008-07-18 |
Claudio Sacerdoti... | ... |
tree | commitdiff |
2008-07-18 |
Claudio Sacerdoti... | New input notation for bottom-up tree construction... |
tree | commitdiff |
2008-07-18 |
Claudio Sacerdoti... | Snapshot. |
tree | commitdiff |
2008-07-18 |
Claudio Sacerdoti... | Input notation. |
tree | commitdiff |
2008-07-17 |
Claudio Sacerdoti... | Bugs fixed: |
tree | commitdiff |
2008-07-17 |
Claudio Sacerdoti... | 1 => \\e |
tree | commitdiff |
2008-07-16 |
Ferruccio Guidi | Procedural: some comments added in the generated script |
tree | commitdiff |
2008-07-16 |
Claudio Sacerdoti... | Duplicated doc removed. |
tree | commitdiff |
2008-07-16 |
Claudio Sacerdoti... | Snapshot (not working). |
tree | commitdiff |
2008-07-16 |
Claudio Sacerdoti... | a) update with upstream version |
tree | commitdiff |
2008-07-15 |
Ferruccio Guidi | cic2acic: new function acic_term_of_cic_term |
tree | commitdiff |
2008-07-15 |
Enrico Tassi | more notation moved to core notation, unification of... |
tree | commitdiff |
2008-07-15 |
Enrico Tassi | Since CProp_i = Type_i everything lowered without 2... |
tree | commitdiff |
2008-07-15 |
Enrico Tassi | models over N fixed |
tree | commitdiff |
next |