test/Tools/isac/MathEngine/step.sml
author Walther Neuper <walther.neuper@jku.at>
Mon, 23 Dec 2019 15:41:36 +0100
changeset 59763 1f2b170f1cc7
child 59814 665dd868d4e2
permissions -rw-r--r--
separate Step_Specify, Step_Solve, Step for do_next and by_tactic

note: the step-into tests run with the old code.
walther@59763
     1
(* Title:  "MathEngine/step.sml"
walther@59763
     2
   Author: Walther Neuper
walther@59763
     3
   (c) due to copyright terms
walther@59763
     4
*)
walther@59763
     5
walther@59763
     6
"-----------------------------------------------------------------------------------------------";
walther@59763
     7
"table of contents -----------------------------------------------------------------------------";
walther@59763
     8
"-----------------------------------------------------------------------------------------------";
walther@59763
     9
"-----------------------------------------------------------------------------------------------";
walther@59763
    10
"----------- TODO -------------------------- ---------------------------------------------------";
walther@59763
    11
"-----------------------------------------------------------------------------------------------";
walther@59763
    12
"-----------------------------------------------------------------------------------------------";
walther@59763
    13
"-----------------------------------------------------------------------------------------------";
walther@59763
    14
walther@59763
    15
"----------- TODO -------------------------- ---------------------------------------------------";
walther@59763
    16
"----------- TODO -------------------------- ---------------------------------------------------";
walther@59763
    17
"----------- TODO -------------------------- ---------------------------------------------------";