| Wed, 09 Mar 2022 16:21:14 +0100 |
wenzelm |
inline Isabelle symbols into source text, so that "isabelle vscode" can start up properly without access to process.env or fs;
|
changeset |
files
|
| Wed, 09 Mar 2022 12:41:40 +0100 |
wenzelm |
more operations;
|
changeset |
files
|
| Wed, 09 Mar 2022 11:29:34 +0100 |
wenzelm |
tuned comments;
|
changeset |
files
|
| Wed, 09 Mar 2022 11:20:16 +0100 |
wenzelm |
patch VSCode source tree to support isabelle_encoding.ts;
|
changeset |
files
|
| Tue, 08 Mar 2022 21:40:16 +0100 |
wenzelm |
more robust, pass "yarn valid-layers-check";
|
changeset |
files
|
| Tue, 08 Mar 2022 17:09:09 +0100 |
wenzelm |
clarified directories;
|
changeset |
files
|
| Tue, 08 Mar 2022 17:02:24 +0100 |
wenzelm |
patch for vscode encoding "UTF-8-Isabelle": clone of "utf8", no symbols yet;
|
changeset |
files
|
| Tue, 08 Mar 2022 15:51:18 +0100 |
wenzelm |
fit into vscode source conventions;
|
changeset |
files
|
| Wed, 09 Mar 2022 16:21:58 +0000 |
paulson |
A tiny further cleanup
|
changeset |
files
|
| Wed, 09 Mar 2022 12:43:48 +0000 |
paulson |
Tidied some messy proofs
|
changeset |
files
|
| Tue, 08 Mar 2022 09:35:39 +0100 |
nipkow |
merged
|
changeset |
files
|
| Mon, 07 Mar 2022 15:28:53 +0100 |
nipkow |
more count_list lemmas
|
changeset |
files
|
| Mon, 07 Mar 2022 21:16:12 +0100 |
wenzelm |
towards UTF-8-Isabelle symbol encoding;
|
changeset |
files
|
| Mon, 07 Mar 2022 17:18:19 +0100 |
wenzelm |
updated to VSCode 1.65.0;
|
changeset |
files
|
| Mon, 07 Mar 2022 16:14:14 +0100 |
wenzelm |
clarified char symbols: cover most European languages;
|
changeset |
files
|
| Mon, 07 Mar 2022 16:01:54 +0100 |
wenzelm |
more elementary Symbol.Matcher without detour via Regex (see also Pure/General/symbol_explode.ML);
|
changeset |
files
|