equal
deleted
inserted
replaced
97 - this proposal presumable involves hacking of parsers -- is there a better way? |
97 - this proposal presumable involves hacking of parsers -- is there a better way? |
98 - implementation and tests have solution for (a) above as a prerequisite. |
98 - implementation and tests have solution for (a) above as a prerequisite. |
99 |
99 |
100 * WN: rename in Formalise: type spec = Model_Def.form_spec; |
100 * WN: rename in Formalise: type spec = Model_Def.form_spec; |
101 type refs = Model_Def.form_refs; |
101 type refs = Model_Def.form_refs; |
102 * WN: rename in Know_Store: get_ptyps, add_pbls |
|
103 get_pbls, add_pbls |
|
104 * WN: as soon as parsing in Outer_Syntax.command..‹Example› works, implement in Calculation |
102 * WN: as soon as parsing in Outer_Syntax.command..‹Example› works, implement in Calculation |
105 - init_ctree, update_status, check_input |
103 - init_ctree, update_status, check_input |
106 |
104 |
107 |
105 |