| Fri, 11 Mar 2022 13:31:46 +0100 |
wenzelm |
always use Isabelle encoding, as in Isabelle/jEdit;
|
changeset |
files
|
| Fri, 11 Mar 2022 13:17:14 +0100 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Fri, 11 Mar 2022 13:07:06 +0100 |
wenzelm |
clarified signature: more uniform ts vs. Scala;
|
changeset |
files
|
| Fri, 11 Mar 2022 12:56:37 +0100 |
wenzelm |
discontinued isabelle_filesystem (superseded by isabelle_encoding), see also da1108a6d249;
|
changeset |
files
|
| Thu, 10 Mar 2022 20:16:19 +0100 |
wenzelm |
actually decode/encode symbols;
|
changeset |
files
|
| Thu, 10 Mar 2022 12:34:02 +0100 |
wenzelm |
merged
|
changeset |
files
|
| Thu, 10 Mar 2022 12:28:20 +0100 |
wenzelm |
prefer yarn over npm;
|
changeset |
files
|
| Thu, 10 Mar 2022 12:03:39 +0100 |
wenzelm |
more accurate .hgignore;
|
changeset |
files
|
| Thu, 10 Mar 2022 11:56:38 +0100 |
wenzelm |
clarified startup of "isabelle vscode": vscodium component is required, with patches for Isabelle/VSCode;
|
changeset |
files
|
| Wed, 09 Mar 2022 23:05:07 +0100 |
wenzelm |
tuned messages;
|
changeset |
files
|
| Wed, 09 Mar 2022 22:21:35 +0100 |
wenzelm |
proper init_resources for macos;
|
changeset |
files
|
| Wed, 09 Mar 2022 16:58:26 +0100 |
wenzelm |
clarified names;
|
changeset |
files
|