All Stories
Use Results
Edit Query
Hide Query

makarius committed rISABELLE249fde3aacbf: tuned;.

tuned;

makarius committed rISABELLE9229f2681db7: clarified directory layout and settings: more robust on all platforms;.

clarified directory layout and settings: more robust on all platforms;

makarius committed rISABELLEf64725832d63: support Electron application framework;.

support Electron application framework;

makarius committed rISABELLE70837c079b20: suppress OCaml icons: avoid conflict of .ml and .ML, due to case-insensitive….

desharna committed rISABELLE686a6d7d0991: generated lemma map_ident_strong for BNFs.

generated lemma map_ident_strong for BNFs

Mar 14 2022, 1:45 PM

Mar 13 2022

desharna committed rISABELLEcdb9c7d41a41: updated SMT certificates.

updated SMT certificates

Mar 13 2022, 6:08 PM

desharna committed rISABELLEe89709b80b6e: used more descriptive assert names in SMT-Lib output.

used more descriptive assert names in SMT-Lib output

Mar 13 2022, 6:08 PM

Mar 12 2022

makarius committed rISABELLEf1c6e778e412: clarified and unified executable names;.

clarified and unified executable names;

Mar 12 2022, 11:23 PM

makarius committed rISABELLE3ee89eaa0b55: tuned;.

tuned;

Mar 12 2022, 11:23 PM

makarius committed rISABELLE0f0e226fc3fa: tuned;.

tuned;

Mar 12 2022, 11:23 PM

Mar 11 2022

makarius committed rISABELLE0db7ed23c9c7: merged.

merged

Mar 11 2022, 8:04 PM

suppress OCaml icons: avoid conflict of .ml and .ML, due to case-insensitive…

Mar 11 2022, 8:04 PM

mathias.fleury committed rISABELLE73650a19591d: fix handling of lambdas in reconstruction of eq_congruent.

fix handling of lambdas in reconstruction of eq_congruent

Mar 11 2022, 4:44 PM

makarius committed rISABELLE6369151119ee: more robust: avoid breakdown of Search dialog;.

more robust: avoid breakdown of Search dialog;

Mar 11 2022, 2:04 PM

makarius committed rISABELLE72112cf37bf7: tuned;.

tuned;

Mar 11 2022, 2:04 PM

makarius committed rISABELLE481665cc17e6: always use Isabelle encoding, as in Isabelle/jEdit;.

always use Isabelle encoding, as in Isabelle/jEdit;

makarius committed rISABELLE0a440e255a64: clarified signature: more uniform ts vs. Scala;.

clarified signature: more uniform ts vs. Scala;

makarius committed rISABELLE5cae3e486cec: tuned signature;.

tuned signature;

makarius committed rISABELLEec62c5401522: discontinued isabelle_filesystem (superseded by isabelle_encoding), see also….

discontinued isabelle_filesystem (superseded by isabelle_encoding), see also…

Mar 10 2022

makarius committed rISABELLEed83c58c612a: actually decode/encode symbols;.

actually decode/encode symbols;

Mar 10 2022, 9:36 PM

Fabian Huch <huch@in.tum.de> committed rAFP51c88bc0b376: hugo site: tuned;.

hugo site: tuned;

Mar 10 2022, 5:47 PM

Fabian Huch <huch@in.tum.de> committed rAFP8d67d9a9da75: afp metadata: index keys for emails and urls;.

afp metadata: index keys for emails and urls;

Mar 10 2022, 5:47 PM

Fabian Huch <huch@in.tum.de> committed rAFPe4b3556a40fe: hugo site: improve theory view;.

hugo site: improve theory view;

Mar 10 2022, 5:47 PM

makarius committed rISABELLE5a15a2ceafdf: merged.

merged

makarius committed rISABELLEfd44e4559adb: prefer yarn over npm;.

prefer yarn over npm;

makarius committed rISABELLEd1e5f9dbf885: clarified startup of "isabelle vscode": vscodium component is required, with….

clarified startup of "isabelle vscode": vscodium component is required, with…

makarius committed rISABELLE8d09013d8c68: more accurate .hgignore;.

more accurate .hgignore;

makarius committed rISABELLE0c9752726e9d: clarified names;.

clarified names;

makarius committed rISABELLE5055c0cdabc9: tuned messages;.

tuned messages;

makarius committed rISABELLEd192b0a8b620: proper init_resources for macos;.

proper init_resources for macos;

makarius committed rISABELLE1b1b60db9dda: clarified modules: vscode vs. extension;.

clarified modules: vscode vs. extension;

makarius committed rISABELLE41dfe941c3da: inline Isabelle symbols into source text, so that "isabelle vscode" can start….

inline Isabelle symbols into source text, so that "isabelle vscode" can start…

makarius committed rISABELLE598b4a1f61dc: more operations;.

more operations;

makarius committed rISABELLEe1dd62dd5540: tuned comments;.

tuned comments;

makarius committed rISABELLEb57efe7fe1d3: more robust, pass "yarn valid-layers-check";.

more robust, pass "yarn valid-layers-check";

makarius committed rISABELLE8142e75320f6: patch VSCode source tree to support isabelle_encoding.ts;.

patch VSCode source tree to support isabelle_encoding.ts;

makarius committed rISABELLE4a9809ee1a85: clarified directories;.

clarified directories;

makarius committed rISABELLEf32e5d4cf1a3: patch for vscode encoding "UTF-8-Isabelle": clone of "utf8", no symbols yet;.

patch for vscode encoding "UTF-8-Isabelle": clone of "utf8", no symbols yet;

makarius committed rISABELLE0fc0ed9a3ad7: fit into vscode source conventions;.

fit into vscode source conventions;

Mar 9 2022

paulson <lp15@cam.ac.uk> committed rISABELLEf70b1a2c2783: A tiny further cleanup.

A tiny further cleanup

Mar 9 2022, 5:22 PM

paulson <lp15@cam.ac.uk> committed rISABELLEa2b8394ce1f1: Tidied some messy proofs.

Tidied some messy proofs

Mar 9 2022, 5:21 PM

Mar 8 2022

nipkow committed rAFP15c9153d3107: more count_list lemmas.

more count_list lemmas

Mar 8 2022, 12:58 PM

nipkow committed rISABELLE810d16927cdc: merged.

merged

Mar 8 2022, 9:36 AM

nipkow committed rISABELLE21b2e37e0300: more count_list lemmas.

more count_list lemmas

Mar 8 2022, 9:36 AM

Mar 7 2022

makarius committed rISABELLE83197a0ac6df: towards UTF-8-Isabelle symbol encoding;.

towards UTF-8-Isabelle symbol encoding;

Mar 7 2022, 9:24 PM

makarius committed rISABELLEef9f9d43b867: updated to VSCode 1.65.0;.

updated to VSCode 1.65.0;

makarius committed rISABELLEe74d162ddf9f: clarified char symbols: cover most European languages;.

clarified char symbols: cover most European languages;

makarius committed rISABELLE90eaac98b3fa: more elementary Symbol.Matcher without detour via Regex (see also….

more elementary Symbol.Matcher without detour via Regex (see also…

makarius committed rISABELLE240cb0cfba5c: tuned comments;.

tuned comments;

makarius committed rISABELLEd647f6b74744: more robust dependencies: avoid implicit update, escpecially of underlying….

makarius committed rISABELLE57de0062dc1c: proper file headers;.

proper file headers;

Mar 7 2022, 12:41 PM

more robust dependencies: avoid implicit update, escpecially of underlying…

Mar 7 2022, 12:41 PM

nipkow committed rAFPc829c6696724: more count_list.

more count_list

Mar 7 2022, 12:36 PM

nipkow committed rAFPdebcde79d6d9: merged.

merged

Mar 7 2022, 12:19 PM

nipkow committed rAFPd6d816594bee: moved some count_list lemmas.

moved some count_list lemmas

Mar 7 2022, 12:19 PM

nipkow committed rISABELLE99b83e701c8e: added count_list lemmas.

added count_list lemmas

Mar 7 2022, 7:49 AM

Frédéric Tuong committed rAFP4ddb773baa59: synchronize with https://gitlab.lisn.upsaclay.fr/burkhart.wolff/Isabelle_C/….

synchronize with https://gitlab.lisn.upsaclay.fr/burkhart.wolff/Isabelle_C/…

Frédéric Tuong committed rAFP4ddfa4b48c29: synchronize with https://gitlab.lisn.upsaclay.fr/burkhart.wolff/Isabelle_C/….

synchronize with https://gitlab.lisn.upsaclay.fr/burkhart.wolff/Isabelle_C/…

Frédéric Tuong committed rAFPc40690cbcb95: synchronize with https://gitlab.lisn.upsaclay.fr/burkhart.wolff/Isabelle_C/….

synchronize with https://gitlab.lisn.upsaclay.fr/burkhart.wolff/Isabelle_C/…

Frédéric Tuong committed rAFPbe2210394896: synchronize with https://gitlab.lisn.upsaclay.fr/burkhart.wolff/Isabelle_C/….

synchronize with https://gitlab.lisn.upsaclay.fr/burkhart.wolff/Isabelle_C/…

Frédéric Tuong committed rAFP097f3b420da8: continue 98838b260ed4.

continue 98838b260ed4

Frédéric Tuong committed rAFP5b9b4cf1e4e5: continue ee01bce2ecca.

continue ee01bce2ecca

Frédéric Tuong committed rAFP57848b558e4c: cancel some part of 11d4567f1b99.

cancel some part of 11d4567f1b99

Frédéric Tuong committed rAFP2dfd9e8da0f1: cancel some part of 98838b260ed4.

cancel some part of 98838b260ed4

Frédéric Tuong committed rAFP8ddca08d2ffd: cancel some part of ada85c62541d.

cancel some part of ada85c62541d

Frédéric Tuong committed rAFP2ba913975c92: synchronize with https://gitlab.lisn.upsaclay.fr/burkhart.wolff/Isabelle_C/….

synchronize with https://gitlab.lisn.upsaclay.fr/burkhart.wolff/Isabelle_C/…

Mar 6 2022

makarius committed rISABELLE6c4ec2a27ad6: tuned message;.

tuned message;

makarius committed rISABELLE8945d691ecf2: more compact result;.

more compact result;

makarius committed rISABELLEbbbee54b1198: prepare patched version more thoroughly, with explicit patches;.

prepare patched version more thoroughly, with explicit patches;

makarius committed rISABELLE075467e070ba: tuned signature;.

tuned signature;

makarius committed rISABELLE33fb3014876f: recover platform-specific node binaries from original download, notably for….

Mar 5 2022

recover platform-specific node binaries from original download, notably for…

makarius committed rISABELLE02e596048ab3: tuned message;.

tuned message;

makarius committed rISABELLE05f677e64178: tuned imports;.

tuned imports;

makarius committed rISABELLE5e87e4fb68d2: tuned;.

tuned;

makarius committed rISABELLE419781ac89bf: misc tuning and clarification;.

misc tuning and clarification;

makarius committed rISABELLE8c09e1f82f81: more executable files;.

more executable files;

makarius committed rISABELLEaef3926eb6ce: tuned;.

tuned;

makarius committed rISABELLE1cbdf9cfc94b: clarified signature;.

clarified signature;

makarius committed rISABELLEea65e18c5614: tuned output;.

tuned output;

makarius committed rISABELLE6d1b64d76b57: tuned, based on suggestions by IntelliJ IDEA;.

tuned, based on suggestions by IntelliJ IDEA;

makarius committed rISABELLE6e7b3492d7df: clarified command-line options;.

clarified command-line options;

makarius committed rISABELLE05a2586ec89a: tuned;.

tuned;

makarius committed rISABELLEa51a0a704854: build component for VSCodium (cross-compiled from sources for all platforms);.

makarius committed rISABELLEe2b5f8b7507a: update official Isabelle release, notably for "Admin/init -R";.

update official Isabelle release, notably for "Admin/init -R";

Mar 5 2022, 10:45 AM

Mar 4 2022

makarius committed rISABELLE1129e82dc1ec: more robust;.

more robust;

Mar 4 2022, 11:25 PM

build component for VSCodium (cross-compiled from sources for all platforms);

Mar 4 2022, 11:05 PM

makarius committed rISABELLEe3475e1d5094: tuned signature: more robust operation;.

tuned signature: more robust operation;

Mar 4 2022, 11:05 PM

makarius committed rISABELLE7870cdaa3f1f: clarified order;.

clarified order;

Mar 4 2022, 11:05 PM

makarius committed rISABELLE64829c7ab0e7: proper antiquotations (amending ff784d5a5bfb);.

proper antiquotations (amending ff784d5a5bfb);

Mar 4 2022, 11:45 AM

Mar 3 2022

makarius committed rISABELLE4187f6f18232: provide symbols statically via ISABELLE_VSCODE_WORKSPACE, instead of LSP/PIDE….

provide symbols statically via ISABELLE_VSCODE_WORKSPACE, instead of LSP/PIDE…

makarius committed rISABELLEd2add317268f: clarified signature: file operations take standard_path as in Isabelle/ML/Scala;.

clarified signature: file operations take standard_path as in Isabelle/ML/Scala;

makarius committed rISABELLE6087947afd0a: proper function call;.

proper function call;

makarius committed rISABELLE31c5a22d50ef: proper init of non-existing file;.

proper init of non-existing file;

makarius committed rISABELLE481ad7da73a9: clarified signature;.

clarified signature;

makarius committed rISABELLEc33e75542ffe: tuned;.

tuned;

makarius committed rISABELLEb0910e6c1320: tuned, based on suggestions by IntelliJ IDEA;.

tuned, based on suggestions by IntelliJ IDEA;

makarius committed rISABELLEee1bd0687c2b: tuned;.

tuned;

makarius committed rISABELLE4fdde010086f: clarified signature;.

clarified signature;

makarius committed rISABELLE8f6b8a46f54c: clarified modules: more uniform .scala vs. ts (amending 4519eeefe3b5);.

clarified modules: more uniform .scala vs. ts (amending 4519eeefe3b5);

makarius committed rISABELLEc05f0e8a54de: misc tuning, based on suggestions by IntelliJ IDEA;.

misc tuning, based on suggestions by IntelliJ IDEA;

makarius committed rISABELLE1ced8ee860e2: clarified signature;.

clarified signature;

makarius committed rISABELLE19f1d8c074c8: tuned signature;.

tuned signature;