Page MenuHomeIsabelle/Phabricator
Feed Advanced Search

Fri, Nov 25

makarius committed rISABELLE0bab4c751478: clarified exception: avoid odd compiler warning;.
clarified exception: avoid odd compiler warning;
Fri, Nov 25, 10:47 PM
makarius committed rISABELLE80dc20ffd31b: recovered check from 69139cc01ba1: Windows does not support PosixFilePermission;.
recovered check from 69139cc01ba1: Windows does not support PosixFilePermission;
Fri, Nov 25, 10:47 PM
makarius committed rISABELLEcdbe20024038: update to scala-3.2.1;.
update to scala-3.2.1;
Fri, Nov 25, 10:47 PM
makarius committed rISABELLE69139cc01ba1: more standard component build process;.
more standard component build process;
Fri, Nov 25, 10:47 PM
makarius committed rISABELLEf3ebb16b5785: update to jdk-17.0.5 (Oct-2022);.
update to jdk-17.0.5 (Oct-2022);
Fri, Nov 25, 10:47 PM
makarius committed rISABELLE2590980401b0: proper treatment of tar.gz double-extension;.
proper treatment of tar.gz double-extension;
Fri, Nov 25, 10:46 PM
makarius committed rISABELLEc9e1276f0268: proper download, instead of assuming local directory;.
proper download, instead of assuming local directory;
Fri, Nov 25, 10:46 PM
makarius committed rISABELLEd0910be11f65: more standard component build process;.
more standard component build process;
Fri, Nov 25, 10:46 PM
makarius committed rISABELLE2bf13b30b98e: clarified signature;.
clarified signature;
Fri, Nov 25, 10:46 PM
makarius committed rISABELLEded37aade88e: clarified signature;.
clarified signature;
Fri, Nov 25, 10:46 PM
makarius committed rISABELLEbf537a75e872: discontinue unused JCEF: superseded by Electron with its bundled Chromium;.
discontinue unused JCEF: superseded by Electron with its bundled Chromium;
Fri, Nov 25, 10:46 PM
makarius committed rISABELLE63f9ffa1625f: prefer deterministic result;.
prefer deterministic result;
Fri, Nov 25, 10:46 PM
makarius committed rISABELLE33025e13dcdc: clarified command-line arguments: follow more recent isabelle build_XYZ;.
clarified command-line arguments: follow more recent isabelle build_XYZ;
Fri, Nov 25, 12:04 AM

Mon, Nov 21

makarius committed rISABELLE137cec33346f: clarified signature;.
clarified signature;
Mon, Nov 21, 12:04 AM
makarius committed rISABELLEb30b8e23383c: clarified signature: more explicit types;.
clarified signature: more explicit types;
Mon, Nov 21, 12:04 AM

Sun, Nov 13

makarius committed rISABELLEb67c9ed2c810: tuned output;.
tuned output;
Sun, Nov 13, 10:39 PM
makarius committed rISABELLEca88e5496553: prefer sorted result;.
prefer sorted result;
Sun, Nov 13, 9:34 PM
makarius committed rISABELLE3e3541e79219: separate style for re-use;.
separate style for re-use;
Sun, Nov 13, 9:09 PM
makarius committed rISABELLE2615cf68f6f4: ML support for the Prism.js syntax highlighter -- via Isabelle/Scala;.
ML support for the Prism.js syntax highlighter -- via Isabelle/Scala;
Sun, Nov 13, 9:09 PM
makarius committed rISABELLE5a9a82522266: retain data structures more accurately;.
retain data structures more accurately;
Sun, Nov 13, 9:09 PM

Sat, Nov 12

makarius committed rISABELLEec8c04dac257: more accurate token types;.
more accurate token types;
Sat, Nov 12, 7:17 PM
makarius committed rISABELLEc3b4e5e4c4e5: proper join without delimiter;.
proper join without delimiter;
Sat, Nov 12, 7:17 PM
makarius committed rISABELLEb0ad975cd25b: clarified JS namespace;.
clarified JS namespace;
Sat, Nov 12, 7:17 PM

Fri, Nov 11

makarius committed rISABELLEb01b0014c3f9: proper support for Windows;.
proper support for Windows;
Fri, Nov 11, 11:38 PM
makarius committed rISABELLEecb9e6d29698: support for the Prism.js syntax highlighter -- via external Node.js process;.
support for the Prism.js syntax highlighter -- via external Node.js process;
Fri, Nov 11, 11:38 PM
makarius committed rISABELLE78a2030240f1: support for JavaScript syntax and Node.js platform;.
support for JavaScript syntax and Node.js platform;
Fri, Nov 11, 11:38 PM

Thu, Nov 10

makarius committed rISABELLEac5833ebe6d1: merged.
merged
Thu, Nov 10, 3:52 PM
makarius committed rISABELLEe0d797283638: tuned signature;.
tuned signature;
Thu, Nov 10, 3:52 PM
makarius committed rISABELLE5944f9e70d98: clarified signature: only support nameless separator;.
clarified signature: only support nameless separator;
Thu, Nov 10, 3:52 PM
makarius committed rISABELLE15b058bb2416: clarified signature: ensure that entries are well-formed --- no consecutive….
clarified signature: ensure that entries are well-formed --- no consecutive…
Thu, Nov 10, 3:52 PM
makarius committed rISABELLE08b950ca0313: tuned signature;.
tuned signature;
Thu, Nov 10, 3:52 PM

Wed, Nov 9

makarius committed rISABELLE9686049ce988: more robust selection: avoid duplicates via "batch" number;.
more robust selection: avoid duplicates via "batch" number;
Wed, Nov 9, 9:35 PM
makarius committed rISABELLE2dfc8885c0ee: tuned GUI;.
tuned GUI;
Wed, Nov 9, 9:35 PM
makarius committed rISABELLEe228be7cd375: clarified GUI.Selector, with support for separator as pseudo-entry;.
clarified GUI.Selector, with support for separator as pseudo-entry;
Wed, Nov 9, 9:35 PM
makarius committed rISABELLE2c37c10d6884: clarified GUI state;.
clarified GUI state;
Wed, Nov 9, 9:35 PM
makarius committed rISABELLEdeded566d423: clarified file names;.
clarified file names;
Wed, Nov 9, 9:35 PM
makarius committed rISABELLE8c9830109ab2: clarified Log_Progress vs. GUI: more like Syslog_Dockable;.
clarified Log_Progress vs. GUI: more like Syslog_Dockable;
Wed, Nov 9, 9:35 PM
makarius committed rISABELLE1eed7e1300ed: clarified signature: more public operations;.
clarified signature: more public operations;
Wed, Nov 9, 9:35 PM
makarius committed rISABELLE304ae1a6e160: tuned signature, following hints by IntelliJ IDEA;.
tuned signature, following hints by IntelliJ IDEA;
Wed, Nov 9, 9:35 PM

Mon, Nov 7

makarius committed rISABELLE60b963d8fc3c: clarified layout;.
clarified layout;
Mon, Nov 7, 10:09 PM
makarius committed rISABELLE49acf5dd58ce: suppress document_required GUI element for now: still unused;.
suppress document_required GUI element for now: still unused;
Mon, Nov 7, 10:09 PM
makarius committed rISABELLEa9d52d02bd83: clarified node_required status: distinguish theory_required vs..
clarified node_required status: distinguish theory_required vs.
Mon, Nov 7, 10:09 PM

Sun, Nov 6

makarius committed rISABELLE5ba13c82a286: proper user tool;.
proper user tool;
Sun, Nov 6, 11:10 PM
makarius committed rISABELLE8ac1d83301b5: tuned comments;.
tuned comments;
Sun, Nov 6, 10:24 PM
makarius committed rISABELLEd84568379f3f: support for EPTCS style with demo document;.
support for EPTCS style with demo document;
Sun, Nov 6, 10:24 PM
makarius committed rISABELLE6e68ec0fdc48: tuned message;.
tuned message;
Sun, Nov 6, 10:24 PM
makarius committed rISABELLE9600720071e6: clarified delay -- more reactive;.
clarified delay -- more reactive;
Sun, Nov 6, 8:57 PM
makarius committed rISABELLE5c7652e9bc01: provide Session.init_time as reference point for diagnostic messages;.
provide Session.init_time as reference point for diagnostic messages;
Sun, Nov 6, 8:46 PM
makarius committed rISABELLE287c3adcdcd6: afford more reactive consolidation;.
afford more reactive consolidation;
Sun, Nov 6, 8:46 PM
makarius committed rISABELLEb45db8030794: minor performance tuning;.
minor performance tuning;
Sun, Nov 6, 8:46 PM
makarius committed rISABELLE9a6459e72868: tuned;.
tuned;
Sun, Nov 6, 8:46 PM
makarius committed rISABELLE1f0b2d7298d9: afford unconditional presentation, notably export_theory and present_thy….
afford unconditional presentation, notably export_theory and present_thy…
Sun, Nov 6, 8:46 PM
makarius committed rISABELLEf65bb0ecc7e7: proper executable files for Windows;.
proper executable files for Windows;
Sun, Nov 6, 12:59 PM
makarius committed rISABELLE01109e16cee8: tuned output;.
tuned output;
Sun, Nov 6, 12:59 PM
makarius committed rISABELLE98cfe33db5a7: further attempts to confine dotnet to $ISABELLE_HOME_USER;.
further attempts to confine dotnet to $ISABELLE_HOME_USER;
Sun, Nov 6, 12:59 PM
makarius committed rISABELLE730dadb82936: clarified component settings: always update existing version;.
clarified component settings: always update existing version;
Sun, Nov 6, 12:59 PM
makarius committed rISABELLE5a9de03e0fa4: more command-line options;.
more command-line options;
Sun, Nov 6, 12:59 PM
makarius committed rISABELLE2b19c70c44c2: more TODO for release;.
more TODO for release;
Sun, Nov 6, 12:00 AM

Sat, Nov 5

makarius committed rISABELLE18c50ff16bbc: disable telemetry;.
disable telemetry;
Sat, Nov 5, 11:42 PM
makarius committed rISABELLE0869eacad310: proper default_platform;.
proper default_platform;
Sat, Nov 5, 11:20 PM
makarius committed rISABELLE66a827cf863e: tuned message, example is in NEWS;.
tuned message, example is in NEWS;
Sat, Nov 5, 11:20 PM
makarius committed rISABELLEda85bffef443: clarified error;.
clarified error;
Sat, Nov 5, 11:20 PM
makarius committed rISABELLEfbe0fedd8a61: tuned NEWS;.
tuned NEWS;
Sat, Nov 5, 11:20 PM
makarius committed rISABELLE2829aae7408a: tuned message;.
tuned message;
Sat, Nov 5, 11:20 PM
makarius committed rISABELLEcc6fd1695294: support for Dotnet / Fsharp platform, via dynamically installed Isabelle….
support for Dotnet / Fsharp platform, via dynamically installed Isabelle…
Sat, Nov 5, 11:20 PM
makarius committed rISABELLE8dbda1b611e9: tuned comments;.
tuned comments;
Sat, Nov 5, 11:20 PM
makarius committed rISABELLEbadbae70c51a: tuned signature;.
tuned signature;
Sat, Nov 5, 11:20 PM
makarius committed rISABELLE74c3ecfeb3ea: clarified description, to fit better to e.g. "isabelle build_doc -a -V system….
clarified description, to fit better to e.g. "isabelle build_doc -a -V system…
Sat, Nov 5, 3:55 PM
makarius committed rISABELLEf2d17e69e520: clarified options: support lualatex as well, but prefer old pdflatex for demos;.
clarified options: support lualatex as well, but prefer old pdflatex for demos;
Sat, Nov 5, 3:55 PM
makarius committed rISABELLE2ba80c2fc325: more command-line options;.
more command-line options;
Sat, Nov 5, 3:55 PM
makarius committed rISABELLE220f6f377d52: proper URL;.
proper URL;
Sat, Nov 5, 3:55 PM
makarius committed rISABELLE107d8203fbd7: clarified signature: allow to change options in instances of Document_Build..
clarified signature: allow to change options in instances of Document_Build.
Sat, Nov 5, 3:55 PM
makarius committed rISABELLE87cd8506e000: document_build engine for "lipics", with options and document_files;.
document_build engine for "lipics", with options and document_files;
Sat, Nov 5, 3:55 PM
makarius committed rISABELLE739edaad4f42: tuned signature;.
tuned signature;
Sat, Nov 5, 3:55 PM
makarius committed rISABELLE7b2dbd093ca2: clarified options: LLNCS works with LuaLaTeX and Isabelle sections, although….
clarified options: LLNCS works with LuaLaTeX and Isabelle sections, although…
Sat, Nov 5, 3:55 PM

Fri, Nov 4

makarius committed rISABELLEac19229c9f31: tuned document;.
tuned document;
Fri, Nov 4, 8:56 PM
makarius committed rISABELLE4a3a105ecbcc: tuned document;.
tuned document;
Fri, Nov 4, 8:50 PM
makarius committed rISABELLE6abbbbebdd69: clarified LaTeX style;.
clarified LaTeX style;
Fri, Nov 4, 8:35 PM
makarius committed rISABELLE8dbb0b2f6576: support for Springer LLNCS with demo document;.
support for Springer LLNCS with demo document;
Fri, Nov 4, 8:35 PM
makarius committed rISABELLE3d491d1eeff7: prefer explicit utf8 for old pdflatex;.
prefer explicit utf8 for old pdflatex;
Fri, Nov 4, 8:35 PM
makarius committed rISABELLEd7a3a0a793e2: proper chapter (amending 809cd1195795);.
proper chapter (amending 809cd1195795);
Fri, Nov 4, 8:35 PM
makarius committed rISABELLEd6d4d0697709: merged.
merged
Fri, Nov 4, 8:35 PM
makarius committed rISABELLE721e5b7daa6d: tuned;.
tuned;
Fri, Nov 4, 8:35 PM
makarius committed rISABELLE9e5098cbf81f: more antiquotations;.
more antiquotations;
Fri, Nov 4, 8:35 PM
makarius committed rISABELLE34a10f5dde92: tuned (again);.
tuned (again);
Fri, Nov 4, 8:35 PM
makarius committed rISABELLE83cf8073a7bf: prefer strict operation (see also f29056da5903);.
prefer strict operation (see also f29056da5903);
Fri, Nov 4, 8:35 PM
makarius committed rISABELLE0901321dd6b2: tuned;.
tuned;
Fri, Nov 4, 8:35 PM
makarius committed rISABELLEb1ab7bf41d88: tuned;.
tuned;
Fri, Nov 4, 8:35 PM
makarius committed rISABELLEf29056da5903: prefer strict operation;.
prefer strict operation;
Fri, Nov 4, 8:35 PM
makarius committed rISABELLE773844f3273d: tuned signature;.
tuned signature;
Fri, Nov 4, 8:35 PM
makarius committed rISABELLEd0079b509d99: clarified signature;.
clarified signature;
Fri, Nov 4, 8:35 PM
makarius committed rISABELLEbd919b794b38: tuned;.
tuned;
Fri, Nov 4, 8:35 PM
makarius committed rISABELLEbb96846e27f8: tuned signature;.
tuned signature;
Fri, Nov 4, 8:35 PM
makarius committed rISABELLEb7fbe0999c17: clarified options;.
clarified options;
Fri, Nov 4, 8:35 PM
makarius committed rISABELLE98bf45a5b508: misc tuning;.
misc tuning;
Fri, Nov 4, 8:35 PM
makarius committed rISABELLE82bd2cfafe4c: tuned;.
tuned;
Fri, Nov 4, 8:35 PM
makarius committed rISABELLE3253a7b2dea2: tuned;.
tuned;
Fri, Nov 4, 8:35 PM
makarius committed rISABELLEae62064849f0: tuned;.
tuned;
Fri, Nov 4, 8:35 PM

Thu, Nov 3

makarius committed rAFP71bc74409b62: clarified signature, following Isabelle/f362975e8ba1;.
clarified signature, following Isabelle/f362975e8ba1;
Thu, Nov 3, 10:50 PM
makarius committed rAFP0701443c1121: proper naming conventions for Isabelle/ML;.
proper naming conventions for Isabelle/ML;
Thu, Nov 3, 10:50 PM