| 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 |
| 2008-07-02 |
Enrico Tassi | 0.5.2
|
commit | commitdiff | tree |
| 2008-07-02 |
Enrico Tassi | ...
|
commit | commitdiff | tree |
| 2008-07-02 |
Enrico Tassi | ...
|
commit | commitdiff | tree |
| 2008-07-02 |
Enrico Tassi | ...
|
commit | commitdiff | tree |
| 2008-07-02 |
Enrico Tassi | calculation of the sort user to choose the rewriting...
|
commit | commitdiff | tree |
| 2008-07-01 |
Enrico Tassi | shifting done, merge attacked
|
commit | commitdiff | tree |
| 2008-07-01 |
Enrico Tassi | shift almost done
|
commit | commitdiff | tree |
| 2008-06-30 |
Enrico Tassi | new specification
|
commit | commitdiff | tree |
| 2008-06-30 |
Enrico Tassi | some more work on q
|
commit | commitdiff | tree |
| 2008-06-28 |
Enrico Tassi | some more work to factorize out uninteresting parts...
|
commit | commitdiff | tree |
| 2008-06-27 |
Enrico Tassi | more work to try to understand where the issue is
|
commit | commitdiff | tree |
| 2008-06-27 |
Enrico Tassi | lost in the wood
|
commit | commitdiff | tree |
| 2008-06-26 |
Enrico Tassi | more work
|
commit | commitdiff | tree |
| 2008-06-26 |
Enrico Tassi | few more steps
|
commit | commitdiff | tree |
| 2008-06-26 |
Enrico Tassi | more work
|
commit | commitdiff | tree |
| 2008-06-26 |
Enrico Tassi | some more work
|
commit | commitdiff | tree |
| 2008-06-26 |
Enrico Tassi | more work on q
|
commit | commitdiff | tree |
| 2008-06-25 |
Enrico Tassi | some more work
|
commit | commitdiff | tree |
| 2008-06-25 |
Enrico Tassi | better, reparsable, notation
|
commit | commitdiff | tree |
| 2008-06-24 |
Enrico Tassi | removed <_,_> notation second interpretation for dependent...
|
commit | commitdiff | tree |
| 2008-06-24 |
Enrico Tassi | notation factored, coercion commant taking terms and...
|
commit | commitdiff | tree |
| 2008-06-24 |
Enrico Tassi | missing file added
|
commit | commitdiff | tree |
| 2008-06-23 |
Enrico Tassi | more work, but russell too slow
|
commit | commitdiff | tree |
| 2008-06-23 |
Enrico Tassi | add \\ in front of tex macros
|
commit | commitdiff | tree |
| 2008-06-23 |
Enrico Tassi | notation support fixed to parentesize in a more sane...
|
commit | commitdiff | tree |
| 2008-06-23 |
Enrico Tassi | xxx
|
commit | commitdiff | tree |
| 2008-06-20 |
Enrico Tassi | left -> right
|
commit | commitdiff | tree |
| 2008-06-19 |
Enrico Tassi | fixed core notation
|
commit | commitdiff | tree |
| 2008-06-19 |
Enrico Tassi | notation fixed to be NON associative by default
|
commit | commitdiff | tree |
| 2008-06-19 |
Enrico Tassi | notation on steroids: 'term 40 x' is a valid variable...
|
commit | commitdiff | tree |
| 2008-06-18 |
Enrico Tassi | initial support for notation that specifies the precedence...
|
commit | commitdiff | tree |
| 2008-06-18 |
Enrico Tassi | removed unused variable
|
commit | commitdiff | tree |
| next |
projects / helm.git / search