equal
deleted
inserted
replaced
291 \item xxx |
291 \item xxx |
292 \item re-organise code for Interpret |
292 \item re-organise code for Interpret |
293 \begin{itemize} |
293 \begin{itemize} |
294 \item Step*: Step_Specify | Step_Solve | Step |
294 \item Step*: Step_Specify | Step_Solve | Step |
295 \begin{itemize} |
295 \begin{itemize} |
296 \item *.check | *.add ARE TOO LATE IN BUILD with Step_Specify | Step_Solve |
296 \item *.check | *.add |
297 Specify_Step.check | Specify_Step.add <-- ApplicableOLD.applicable_in |
297 Specify_Step.add <-- Generate.generate1 |
298 Solve_Step.check | Solve_Step.add <-- Generate.generate1 |
298 Solve_Step.add <-- Generate.generate1 |
299 \item xxx |
299 \item xxx |
300 \end{itemize} |
300 \end{itemize} |
301 \item xxx |
301 \item xxx |
302 \item Prog_Tac: fun get_first_argument takes both Prog_Tac + Program --- wait for separate Tactical |
302 \item Prog_Tac: fun get_first_argument takes both Prog_Tac + Program --- wait for separate Tactical |
303 then shift into common descendant |
303 then shift into common descendant |