| Sun, 03 Sep 2023 13:23:51 +0200 | wenzelm | clarified signature; | changeset | files |
| Sun, 03 Sep 2023 12:52:48 +0200 | wenzelm | clarified output; | changeset | files |
| Sun, 03 Sep 2023 12:39:19 +0200 | wenzelm | clarified signature; | changeset | files |
| Sun, 03 Sep 2023 12:30:44 +0200 | wenzelm | clarified signature: removed ununsed option; | changeset | files |
| Sun, 03 Sep 2023 12:17:41 +0200 | wenzelm | tuned message; | changeset | files |
| Sat, 02 Sep 2023 12:12:32 +0200 | wenzelm | updated to naproche-20230902: add examples/100_theorems.ftl.tex and some more text in Isabelle/Intro.thy; | changeset | files |
| Fri, 01 Sep 2023 21:23:55 +0200 | wenzelm | more robust access to output file of external smt, notably for Windows 11, where transient ERROR_SHARING_VIOLATION has been seen; | changeset | files |