equal
deleted
inserted
replaced
1 Major: |
1 Major: |
2 |
|
3 proof_general_emacs.ML fixups/PG compatibility: ongoing |
|
4 |
2 |
5 Complete pgip_types: add PGML and objtypes |
3 Complete pgip_types: add PGML and objtypes |
6 |
4 |
7 Complete pgip_markup: provide markup abstraction for parsing.ML |
5 Complete pgip_markup: provide markup abstraction for parsing.ML |
8 |
6 |
9 |
|
10 Minor: |
7 Minor: |
11 |
8 |
12 <pgipquit> broken |
9 cleanups: signatures & structures, concrete types in XML attrs, etc. |
13 |
|
14 cleanups: signatures & structures |
|
15 |
10 |
16 further tests in pgip_tests.ML |
11 further tests in pgip_tests.ML |
|
12 |
|
13 <pgipquit> broken |