2008-10-27 |
Enrico Tassi | seg_u/l were inverted, more work |
tree | commitdiff |
2008-10-27 |
Enrico Tassi | big lemma done |
tree | commitdiff |
2008-10-26 |
Enrico Tassi | ... |
tree | commitdiff |
2008-10-26 |
Enrico Tassi | duality done |
tree | commitdiff |
2008-10-26 |
Enrico Tassi | almost done, just needs to be prforated |
tree | commitdiff |
2008-10-26 |
Enrico Tassi | .... |
tree | commitdiff |
2008-10-26 |
Enrico Tassi | all done in declarative style |
tree | commitdiff |
2008-10-25 |
Enrico Tassi | ... |
tree | commitdiff |
2008-10-25 |
Enrico Tassi | ... |
tree | commitdiff |
2008-10-25 |
Enrico Tassi | duality is a joke |
tree | commitdiff |
2008-10-24 |
Enrico Tassi | ... |
tree | commitdiff |
2008-10-24 |
Enrico Tassi | leave-environment axiom made true |
tree | commitdiff |
2008-10-23 |
Enrico Tassi | lebesgue completely dualized |
tree | commitdiff |
2008-10-21 |
Enrico Tassi | ... |
tree | commitdiff |
2008-10-20 |
Enrico Tassi | nat model ported to the dualized version, but not itsel... |
tree | commitdiff |
2008-10-20 |
Enrico Tassi | ... is a command in proof mode, use |
tree | commitdiff |
2008-10-20 |
Enrico Tassi | ... |
tree | commitdiff |
2008-10-20 |
Enrico Tassi | ... |
tree | commitdiff |
2008-10-20 |
Enrico Tassi | ... |
tree | commitdiff |
2008-10-20 |
Enrico Tassi | after a PITA, lebergue is dualized! |
tree | commitdiff |
2008-10-20 |
Enrico Tassi | ... |
tree | commitdiff |
2008-10-19 |
Enrico Tassi | some work on duality, still not finisched |
tree | commitdiff |
2008-10-19 |
Enrico Tassi | grave notation mistake fixed |
tree | commitdiff |
2008-10-19 |
Enrico Tassi | more tests |
tree | commitdiff |
2008-10-19 |
Enrico Tassi | ... |
tree | commitdiff |
2008-10-19 |
Enrico Tassi | when a file is opened the cursor is moved to the begin... |
tree | commitdiff |
2008-10-18 |
Enrico Tassi | ... |
tree | commitdiff |
2008-10-18 |
Enrico Tassi | ... |
tree | commitdiff |
2008-10-18 |
Enrico Tassi | tactic language documented; |
tree | commitdiff |
2008-10-18 |
Ferruccio Guidi | Acic2Procedural: |
tree | commitdiff |
2008-10-18 |
Enrico Tassi | html documentation generation implemented |
tree | commitdiff |
2008-10-18 |
Enrico Tassi | more doc |
tree | commitdiff |
2008-10-18 |
Enrico Tassi | ... |
tree | commitdiff |
2008-10-17 |
Enrico Tassi | ... |
tree | commitdiff |
2008-10-17 |
Enrico Tassi | new command eval added |
tree | commitdiff |
2008-10-17 |
Enrico Tassi | better makefile |
tree | commitdiff |
2008-10-17 |
Enrico Tassi | ... |
tree | commitdiff |
2008-10-16 |
Claudio Sacerdoti... | ... |
tree | commitdiff |
2008-10-16 |
Enrico Tassi | ex for students about induction |
tree | commitdiff |
2008-10-15 |
Claudio Sacerdoti... | minor simplification + deps fixed |
tree | commitdiff |
2008-10-15 |
Claudio Sacerdoti... | New invariant and data structure to represent environme... |
tree | commitdiff |
2008-10-14 |
Enrico Tassi | firs step for dualization |
tree | commitdiff |
2008-10-14 |
Enrico Tassi | ... |
tree | commitdiff |
2008-10-03 |
Enrico Tassi | when -debug do not catch the exception |
tree | commitdiff |
2008-10-02 |
Enrico Tassi | ... |
tree | commitdiff |
2008-10-01 |
Claudio Sacerdoti... | ... |
tree | commitdiff |
2008-10-01 |
Claudio Sacerdoti... | - setters for data structures now support "commuting... |
tree | commitdiff |
2008-09-30 |
Ferruccio Guidi | librarian.ml: now the read_only .moo's are managed... |
tree | commitdiff |
2008-09-30 |
Enrico Tassi | ... |
tree | commitdiff |
2008-09-27 |
Enrico Tassi | updated changelog |
tree | commitdiff |
2008-09-26 |
Enrico Tassi | more push/pop to avoid confusion with imperative data... |
tree | commitdiff |
2008-09-26 |
Ferruccio Guidi | Procedural: we removed some commented code |
tree | commitdiff |
2008-09-26 |
Enrico Tassi | include statement better implemented: |
tree | commitdiff |
2008-09-26 |
Enrico Tassi | fixed some notational collisions |
tree | commitdiff |
2008-09-26 |
Enrico Tassi | commented out a line that was making the file fail |
tree | commitdiff |
2008-09-26 |
Enrico Tassi | lazy proof term to increase sharing and decrease memory... |
tree | commitdiff |
2008-09-26 |
Enrico Tassi | some work |
tree | commitdiff |
2008-09-25 |
Claudio Sacerdoti... | ... |
tree | commitdiff |
2008-09-25 |
Claudio Sacerdoti... | ... |
tree | commitdiff |
2008-09-22 |
Ferruccio Guidi | new small devel |
tree | commitdiff |
2008-09-22 |
Enrico Tassi | fixed auto invocation |
tree | commitdiff |
2008-09-19 |
Enrico Tassi | new reorganization |
tree | commitdiff |
2008-09-19 |
Enrico Tassi | fixed |
tree | commitdiff |
2008-09-18 |
Ferruccio Guidi | applyTransformation: improved error detection |
tree | commitdiff |
2008-09-18 |
Claudio Sacerdoti... | Major reordering of theorems in the appropriate files. |
tree | commitdiff |
2008-09-18 |
Enrico Tassi | fixed script |
tree | commitdiff |
2008-09-18 |
Claudio Sacerdoti... | Precedence level of \downarrow changed to match that... |
tree | commitdiff |
2008-09-16 |
Claudio Sacerdoti... | formal_map now defined |
tree | commitdiff |
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 |
next |