Page MenuHomeIsabelle/Phabricator

makarius (Makarius Wenzel)
UserAdministrator

Projects

User Details

User Since
Sep 24 2019, 9:33 PM (167 w, 9 h)
Roles
Administrator

Recent Activity

Yesterday

makarius committed rISABELLE6cd6c553b480: clarified signature: less redundancy;.
clarified signature: less redundancy;
Tue, Dec 6, 8:50 PM
makarius committed rISABELLE127ee77c24ff: tuned;.
tuned;
Tue, Dec 6, 8:50 PM
makarius committed rISABELLE1b7bb4f8c0f4: potentially more robust delay_load action: avoid loosing events due to guards;.
potentially more robust delay_load action: avoid loosing events due to guards;
Tue, Dec 6, 8:50 PM
makarius committed rISABELLE017384868fcb: tuned signature;.
tuned signature;
Tue, Dec 6, 8:50 PM
makarius committed rISABELLEc9f897077089: tuned;.
tuned;
Tue, Dec 6, 8:50 PM
makarius committed rISABELLE71942a6af4ed: tuned signature;.
tuned signature;
Tue, Dec 6, 8:50 PM
makarius committed rISABELLE699d9a219e45: tuned signature;.
tuned signature;
Tue, Dec 6, 8:50 PM
makarius committed rISABELLEe5bf43eda6ed: more uniform tooltip for plugin options dialog;.
more uniform tooltip for plugin options dialog;
Tue, Dec 6, 8:50 PM
makarius committed rISABELLEc79b43c1c7ab: tuned signature;.
tuned signature;
Tue, Dec 6, 8:50 PM
makarius committed rISABELLE06b001094ddb: more uniform session selectors, with persistent options;.
more uniform session selectors, with persistent options;
Tue, Dec 6, 8:50 PM
makarius committed rISABELLEc662a56e77a8: tuned;.
tuned;
Tue, Dec 6, 8:50 PM

Mon, Dec 5

makarius committed rISABELLE5150e1f62c86: merged.
merged
Mon, Dec 5, 11:19 PM
makarius committed rISABELLE1c1d7b3478b1: tuned GUI behaviour;.
tuned GUI behaviour;
Mon, Dec 5, 11:19 PM
makarius committed rISABELLEaef247025f07: more GUI elements;.
more GUI elements;
Mon, Dec 5, 11:19 PM
makarius committed rISABELLE318c6b466ec0: clarified modules;.
clarified modules;
Mon, Dec 5, 11:19 PM
makarius committed rISABELLE6827dd0c3723: clarified process: implicit load() when finished;.
clarified process: implicit load() when finished;
Mon, Dec 5, 11:19 PM
makarius committed rISABELLE89cd466e063d: tuned;.
tuned;
Mon, Dec 5, 11:19 PM
makarius committed rISABELLE02d07758ce42: more robust, notably initial update();.
more robust, notably initial update();
Mon, Dec 5, 11:19 PM
makarius committed rISABELLE9c5780693350: tuned messages: implement "verbose = false", but there is no theory output….
tuned messages: implement "verbose = false", but there is no theory output…
Mon, Dec 5, 11:19 PM
makarius committed rISABELLEd6a2a8bc40e1: tuned messages;.
tuned messages;
Mon, Dec 5, 3:20 PM
makarius committed rISABELLE6dc213e7f664: tuned message;.
tuned message;
Mon, Dec 5, 2:47 PM
makarius committed rISABELLEc7f3e94fce7b: tuned messages and options;.
tuned messages and options;
Mon, Dec 5, 12:40 PM

Sun, Dec 4

makarius committed rISABELLE120f79cdb492: discontinued "unzip" executable (see also eb96243a25c5 and 662de910a96b);.
discontinued "unzip" executable (see also eb96243a25c5 and 662de910a96b);
Sun, Dec 4, 4:31 PM
makarius committed rISABELLE13fde66c7cf6: more direct access to jEdit jar resources, without unzip;.
more direct access to jEdit jar resources, without unzip;
Sun, Dec 4, 4:31 PM

Thu, Dec 1

makarius committed rISABELLEa82fc7755ba5: clarified check;.
clarified check;
Thu, Dec 1, 5:27 PM
makarius committed rISABELLEc7996b073524: clarified check: allow to remove bad directories;.
clarified check: allow to remove bad directories;
Thu, Dec 1, 5:27 PM
makarius committed rISABELLE8f580e62ca6e: tuned message;.
tuned message;
Thu, Dec 1, 5:27 PM

Wed, Nov 30

makarius committed rISABELLE0af64cc2eee9: tuned signature;.
tuned signature;
Wed, Nov 30, 10:23 PM
makarius committed rISABELLE9fe5d8c70352: tuned signature;.
tuned signature;
Wed, Nov 30, 10:23 PM
makarius committed rISABELLE88cecb9f1cdc: proper unzip with strip option, within the JVM;.
proper unzip with strip option, within the JVM;
Wed, Nov 30, 10:23 PM
makarius committed rISABELLEcee207c2ddec: updated to sqlite-jdbc-3.39.4.1;.
updated to sqlite-jdbc-3.39.4.1;
Wed, Nov 30, 10:23 PM
makarius committed rISABELLEb10926dbb763: more standard component build process;.
more standard component build process;
Wed, Nov 30, 10:23 PM
makarius committed rISABELLEfef0195f8d8e: clarified signature: prefer Scala functions instead of shell scripts;.
clarified signature: prefer Scala functions instead of shell scripts;
Wed, Nov 30, 10:23 PM
makarius committed rISABELLEd6ce50a092eb: tuned;.
tuned;
Wed, Nov 30, 10:23 PM
makarius committed rISABELLE3706b88035d2: more direct target directory;.
more direct target directory;
Wed, Nov 30, 10:23 PM
makarius committed rISABELLE83de6e9ae983: clarified signature: prefer Scala functions instead of shell scripts;.
clarified signature: prefer Scala functions instead of shell scripts;
Wed, Nov 30, 10:23 PM

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

Nov 6 2022

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

Nov 5 2022

makarius committed rISABELLE18c50ff16bbc: disable telemetry;.
disable telemetry;
Nov 5 2022, 11:42 PM
makarius committed rISABELLE0869eacad310: proper default_platform;.
proper default_platform;
Nov 5 2022, 11:20 PM
makarius committed rISABELLE66a827cf863e: tuned message, example is in NEWS;.
tuned message, example is in NEWS;
Nov 5 2022, 11:20 PM
makarius committed rISABELLEda85bffef443: clarified error;.
clarified error;
Nov 5 2022, 11:20 PM
makarius committed rISABELLEfbe0fedd8a61: tuned NEWS;.
tuned NEWS;
Nov 5 2022, 11:20 PM
makarius committed rISABELLE2829aae7408a: tuned message;.
tuned message;
Nov 5 2022, 11:20 PM