| 2008-09-19 |
Enrico Tassi | better abstraction to allow 1 discrimination tree implementa...
|
commit | commitdiff | tree |
| 2008-09-19 |
Enrico Tassi | new discrimination tree
|
commit | commitdiff | tree |
| 2008-09-19 |
Enrico Tassi | Revised discrimination tree implementation:
|
commit | commitdiff | tree |
| 2008-09-19 |
Enrico Tassi | more comments and compare function for URI exported
|
commit | commitdiff | tree |
| 2008-09-19 |
Enrico Tassi | removed debug pps
|
commit | commitdiff | tree |
| 2008-09-19 |
Enrico Tassi | new reorganization
|
commit | commitdiff | tree |
| 2008-09-19 |
Enrico Tassi | fixed
|
commit | commitdiff | tree |
| 2008-09-18 |
Enrico Tassi | removed debug pps
|
commit | commitdiff | tree |
| 2008-09-18 |
Enrico Tassi | fixed script
|
commit | commitdiff | tree |
| 2008-09-17 |
Enrico Tassi | snapshot
|
commit | commitdiff | tree |
| 2008-09-17 |
Enrico Tassi | ...
|
commit | commitdiff | tree |
| 2008-09-16 |
Enrico Tassi | ...
|
commit | commitdiff | tree |
| 2008-09-16 |
Enrico Tassi | ...
|
commit | commitdiff | tree |
| 2008-09-16 |
Enrico Tassi | ...
|
commit | commitdiff | tree |
| 2008-09-16 |
Enrico Tassi | ...
|
commit | commitdiff | tree |
| 2008-09-16 |
Enrico Tassi | new directory for the newGeneration refiner
|
commit | commitdiff | tree |
| 2008-09-10 |
Enrico Tassi | reverted auto experiment
|
commit | commitdiff | tree |
| 2008-09-10 |
Enrico Tassi | AGAIN A TEST
|
commit | commitdiff | tree |
| 2008-09-10 |
Enrico Tassi | COMMIT TO JUST RUN A BENCH, SHOULD BE REVERTED ASAP...
|
commit | commitdiff | tree |
| 2008-09-09 |
Enrico Tassi | some work to make tries "printable", fixed comparison...
|
commit | commitdiff | tree |
| 2008-09-08 |
Enrico Tassi | ...
|
commit | commitdiff | tree |
| 2008-09-05 |
Enrico Tassi | ...
|
commit | commitdiff | tree |
| 2008-09-05 |
Enrico Tassi | unification+pullback fix. It used to saturate a coercion...
|
commit | commitdiff | tree |
| 2008-09-04 |
Enrico Tassi | fixed case of divergence
|
commit | commitdiff | tree |
| 2008-09-04 |
Enrico Tassi | fixed notation
|
commit | commitdiff | tree |
| 2008-09-04 |
Enrico Tassi | restored
|
commit | commitdiff | tree |
| 2008-09-04 |
Enrico Tassi | ....
|
commit | commitdiff | tree |
| 2008-09-04 |
Enrico Tassi | ...
|
commit | commitdiff | tree |
| 2008-09-04 |
Enrico Tassi | removed debug pps
|
commit | commitdiff | tree |
| 2008-09-04 |
Enrico Tassi | comparison function fixed
|
commit | commitdiff | tree |
| 2008-09-04 |
Enrico Tassi | ...
|
commit | commitdiff | tree |
| 2008-09-04 |
Enrico Tassi | removed old non-working file
|
commit | commitdiff | tree |
| 2008-09-04 |
Enrico Tassi | notation_id were compared using Pervasives.equal this...
|
commit | commitdiff | tree |
| 2008-09-04 |
Enrico Tassi | stop running LAMBDA-TYPES as a test, can be reactivated...
|
commit | commitdiff | tree |
| 2008-08-28 |
Enrico Tassi | ...
|
commit | commitdiff | tree |
| 2008-08-28 |
Enrico Tassi | ...
|
commit | commitdiff | tree |
| 2008-08-26 |
Enrico Tassi | fixed some stuff
|
commit | commitdiff | tree |
| 2008-08-24 |
Enrico Tassi | ...
|
commit | commitdiff | tree |
| 2008-08-23 |
Enrico Tassi | ...
|
commit | commitdiff | tree |
| 2008-08-23 |
Enrico Tassi | ...
|
commit | commitdiff | tree |
| 2008-08-23 |
Enrico Tassi | notation with mstyle attributes, like colors and size
|
commit | commitdiff | tree |
| 2008-08-23 |
Enrico Tassi | ...
|
commit | commitdiff | tree |
| 2008-08-21 |
Enrico Tassi | pango escape fixed
|
commit | commitdiff | tree |
| 2008-08-21 |
Enrico Tassi | ...
|
commit | commitdiff | tree |
| 2008-08-17 |
Enrico Tassi | escape < in pango attrs
|
commit | commitdiff | tree |
| 2008-08-16 |
Enrico Tassi | added support for font scaling to autogui
|
commit | commitdiff | tree |
| 2008-08-16 |
Enrico Tassi | added interpretation for \naturals, \rationals, and...
|
commit | commitdiff | tree |
| 2008-08-01 |
Enrico Tassi | fixed recursiveness check
|
commit | commitdiff | tree |
| 2008-08-01 |
Enrico Tassi | fixed recursiveness check
|
commit | commitdiff | tree |
| 2008-07-30 |
Enrico Tassi | fixed check, if 0 constructors then no List.nth is...
|
commit | commitdiff | tree |
| 2008-07-30 |
Enrico Tassi | allowed sort elim now check for recursive types
|
commit | commitdiff | tree |
| 2008-07-30 |
Enrico Tassi | fixed allowed sort elim
|
commit | commitdiff | tree |
| 2008-07-25 |
Enrico Tassi | - too strict check on left parameters of constructors...
|
commit | commitdiff | tree |
| 2008-07-23 |
Enrico Tassi | ...
|
commit | commitdiff | tree |
| 2008-07-23 |
Enrico Tassi | 0.5.3
|
commit | commitdiff | tree |
| 2008-07-23 |
Enrico Tassi | 0.5.3
|
commit | commitdiff | tree |
| 2008-07-23 |
Enrico Tassi | some more fixes
|
commit | commitdiff | tree |
| 2008-07-23 |
Enrico Tassi | fixed some GUI glitches
|
commit | commitdiff | tree |
| 2008-07-23 |
Enrico Tassi | positivity check fixed
|
commit | commitdiff | tree |
| 2008-07-23 |
Enrico Tassi | ...
|
commit | commitdiff | tree |
| 2008-07-23 |
Enrico Tassi | positivity check fixed, some subterms were erroneously...
|
commit | commitdiff | tree |
| 2008-07-23 |
Enrico Tassi | universes in CicBrowser
|
commit | commitdiff | tree |
| 2008-07-23 |
Enrico Tassi | better ranking interface
|
commit | commitdiff | tree |
| 2008-07-23 |
Enrico Tassi | better tex/utf8 win
|
commit | commitdiff | tree |
| 2008-07-23 |
Enrico Tassi | better cb
|
commit | commitdiff | tree |
| 2008-07-23 |
Enrico Tassi | better UI for TeX/Unicode and terms grammar
|
commit | commitdiff | tree |
| 2008-07-23 |
Enrico Tassi | remove bad aliases from toolbox
|
commit | commitdiff | tree |
| 2008-07-22 |
Enrico Tassi | ...
|
commit | commitdiff | tree |
| 2008-07-22 |
Enrico Tassi | ...
|
commit | commitdiff | tree |
| 2008-07-21 |
Enrico Tassi | ...
|
commit | commitdiff | tree |
| 2008-07-21 |
Enrico Tassi | added notes about notation
|
commit | commitdiff | tree |
| 2008-07-21 |
Enrico Tassi | add conf key matita.debug_menu
|
commit | commitdiff | tree |
| 2008-07-21 |
Enrico Tassi | avoid empty hvbox
|
commit | commitdiff | tree |
| 2008-07-18 |
Enrico Tassi | better metavariable context
|
commit | commitdiff | tree |
| 2008-07-18 |
Enrico Tassi | metavariable context has a separator now
|
commit | commitdiff | tree |
| 2008-07-18 |
Enrico Tassi | exception inside regex callback not re-raised if equal...
|
commit | commitdiff | tree |
| 2008-07-16 |
Enrico Tassi | notations for lists adds some breaking points
|
commit | commitdiff | tree |
| 2008-07-15 |
Enrico Tassi | more notation moved to core notation, unification of...
|
commit | commitdiff | tree |
| 2008-07-15 |
Enrico Tassi | Since CProp_i = Type_i everything lowered without 2...
|
commit | commitdiff | tree |
| 2008-07-15 |
Enrico Tassi | CProp_i <= Type_i , Type_i <= CProp_i
|
commit | commitdiff | tree |
| 2008-07-15 |
Enrico Tassi | models over N fixed
|
commit | commitdiff | tree |
| 2008-07-15 |
Enrico Tassi | new q_function representation
|
commit | commitdiff | tree |
| 2008-07-15 |
Enrico Tassi | removed dummy comment
|
commit | commitdiff | tree |
| 2008-07-15 |
Enrico Tassi | Using Prop conjuction on Props lowers the universes.
|
commit | commitdiff | tree |
| 2008-07-10 |
Enrico Tassi | value has a specification
|
commit | commitdiff | tree |
| 2008-07-10 |
Enrico Tassi | updated changelog
|
commit | commitdiff | tree |
| 2008-07-10 |
Enrico Tassi | more work on dama
|
commit | commitdiff | tree |
| 2008-07-10 |
Enrico Tassi | fixed regression in casting an argument to funclass...
|
commit | commitdiff | tree |
| 2008-07-09 |
Enrico Tassi | better notation
|
commit | commitdiff | tree |
| 2008-07-09 |
Enrico Tassi | minor fixes
|
commit | commitdiff | tree |
| 2008-07-09 |
Enrico Tassi | CProp hierarchy fixed:
|
commit | commitdiff | tree |
| 2008-07-09 |
Enrico Tassi | tab -> ' '
|
commit | commitdiff | tree |
| 2008-07-09 |
Enrico Tassi | ...
|
commit | commitdiff | tree |
| 2008-07-07 |
Enrico Tassi | simplified coercDb implementation with additional info...
|
commit | commitdiff | tree |
| 2008-07-03 |
Enrico Tassi | ...snapshot
|
commit | commitdiff | tree |
| 2008-07-03 |
Enrico Tassi | ...
|
commit | commitdiff | tree |
| 2008-07-02 |
Enrico Tassi | some work
|
commit | commitdiff | tree |
| 2008-07-02 |
Enrico Tassi | ...
|
commit | commitdiff | tree |
| 2008-07-02 |
Enrico Tassi | return 1 in case of failure
|
commit | commitdiff | tree |
| 2008-07-02 |
Enrico Tassi | 0.5.2
|
commit | commitdiff | tree |
| next |
projects / helm.git / search