equal
deleted
inserted
replaced
14 i.e. we expect ISAC to present an empty template "Problem..Solution", but as a whole, to the user; |
14 i.e. we expect ISAC to present an empty template "Problem..Solution", but as a whole, to the user; |
15 see VSCode_Example.thy subsubsection \<open>Specification step by step\<close> |
15 see VSCode_Example.thy subsubsection \<open>Specification step by step\<close> |
16 How get Token.src for testing purposes? |
16 How get Token.src for testing purposes? |
17 How can Scan.* be traced? |
17 How can Scan.* be traced? |
18 (Tracing should help understanding Problem.parse_cas, Problem.parse_model_input which involve Scan.*) |
18 (Tracing should help understanding Problem.parse_cas, Problem.parse_model_input which involve Scan.*) |
19 |
|
20 * MW: check uses of Unsynchronized.ref vs. Synchronized.var; |
|
21 |
19 |
22 * MW: clarify/eliminate Isabelle/Scala add-ons (presently unused) |
20 * MW: clarify/eliminate Isabelle/Scala add-ons (presently unused) |
23 |
21 |
24 diff -r /home/makarius/isabelle/repos-Isabelle2021/src/Pure/build-jars ./src/Pure/build-jars |
22 diff -r /home/makarius/isabelle/repos-Isabelle2021/src/Pure/build-jars ./src/Pure/build-jars |
25 11a12 |
23 11a12 |