changeset 59986 | ecf545b44428 |
parent 59981 | dc34eff67648 |
child 59997 | 46fe5a8c3911 |
1.1 --- a/src/Tools/isac/TODO.thy Fri May 15 19:31:04 2020 +0200 1.2 +++ b/src/Tools/isac/TODO.thy Sat May 16 12:40:09 2020 +0200 1.3 @@ -27,6 +27,8 @@ 1.4 (*\------- to from -------/*) 1.5 \begin{itemize} 1.6 \item xxx 1.7 + \item distribute code from test/../calchead.sml 1.8 + \item xxx 1.9 \item rename Tactic.Calculate -> Tactic.Evaluate 1.10 \item xxx 1.11 \item replace src/ Erls by Rule_Set.Empty