| Tue, 22 Mar 2022 19:08:47 +0100 | wenzelm | clarified options; | changeset | files |
| Tue, 22 Mar 2022 18:56:28 +0100 | wenzelm | more robust errors -- on foreground process instead of background server; | changeset | files |
| Tue, 22 Mar 2022 18:52:27 +0100 | wenzelm | clarified options -l vs. -R; | changeset | files |
| Tue, 22 Mar 2022 18:12:58 +0100 | wenzelm | command-line arguments for "isabelle vscode", similar to "isabelle jedit"; | changeset | files |
| Tue, 22 Mar 2022 16:49:18 +0100 | wenzelm | proper command-line tool; | changeset | files |
| Tue, 22 Mar 2022 13:05:01 +0100 | wenzelm | support console output, e.g. "isabelle vscode -C -- --help"; | changeset | files |
| Tue, 22 Mar 2022 12:48:27 +0100 | wenzelm | run Isabelle/VSCode via Scala; | changeset | files |
| Mon, 21 Mar 2022 11:55:51 +0100 | wenzelm | clarified module name; | changeset | files |