equal
deleted
inserted
replaced
1 Major: |
|
2 |
|
3 Complete pgip_types: add PGML and objtypes |
|
4 Complete pgip_markup: provide markup abstraction for parsing.ML |
|
5 |
|
6 Minor: |
|
7 |
|
8 cleanups: signatures & structures, concrete types in XML attrs, etc. |
|
9 further tests in pgip_tests.ML |
|