Page MenuHomeIsabelle/Phabricator

makarius (Makarius Wenzel)
UserAdministrator

User Details

User Since
Sep 24 2019, 9:33 PM (26 w, 6 d)
Roles
Administrator

Recent Activity

Yesterday

makarius committed rISABELLEc1bc38327bc2: clarified signature;.
clarified signature;
Mon, Mar 30, 8:57 PM
makarius committed rISABELLE3f02bc5a5a03: more accurate treatment of errors;.
more accurate treatment of errors;
Mon, Mar 30, 8:57 PM
makarius committed rISABELLE50425e4c3910: clarified modules: global quasi-scope for markers;.
clarified modules: global quasi-scope for markers;
Mon, Mar 30, 8:57 PM

Sun, Mar 29

makarius committed rISABELLE4c8edd527940: merged.
merged
Sun, Mar 29, 10:52 PM
makarius committed rISABELLE189f17479275: tuned;.
tuned;
Sun, Mar 29, 10:52 PM
makarius committed rISABELLEf0499449e149: clarified modules;.
clarified modules;
Sun, Mar 29, 10:52 PM
makarius committed rISABELLEb3bddebe44ca: clarified signature: more explicit type Protocol_Message.Marker;.
clarified signature: more explicit type Protocol_Message.Marker;
Sun, Mar 29, 10:52 PM
makarius committed rISABELLEab5009192ebb: tuned signature -- follow Scala;.
tuned signature -- follow Scala;
Sun, Mar 29, 10:52 PM
makarius committed rISABELLE281591ab169b: tuned;.
tuned;
Sun, Mar 29, 10:52 PM
makarius committed rISABELLE5a4ccef7f310: more explicit type Protocol_Message.Marker;.
more explicit type Protocol_Message.Marker;
Sun, Mar 29, 10:52 PM
makarius committed rISABELLEe33f6e5f86b6: clarified protocol messages: explicitly use physical_writeln, always….
clarified protocol messages: explicitly use physical_writeln, always…
Sun, Mar 29, 10:52 PM
makarius committed rISABELLE1b8861bcb03c: tuned;.
tuned;
Sun, Mar 29, 10:52 PM
makarius committed rISABELLE01166f13c2c0: tuned whitespace;.
tuned whitespace;
Sun, Mar 29, 10:52 PM

Sat, Mar 28

makarius committed rISABELLE74c874b5aed0: merged.
merged
Sat, Mar 28, 10:05 PM
makarius committed rISABELLEe6dead7d5334: tuned;.
tuned;
Sat, Mar 28, 10:05 PM
makarius committed rISABELLE6bce25f9d0ab: tuned;.
tuned;
Sat, Mar 28, 10:05 PM
makarius committed rISABELLEe0a5d6068141: tuned;.
tuned;
Sat, Mar 28, 10:05 PM
makarius committed rISABELLEfb6953e77000: eliminated pointless flag (see also 6533ceee4cd7);.
eliminated pointless flag (see also 6533ceee4cd7);
Sat, Mar 28, 10:05 PM
makarius committed rISABELLE5730eb952208: tuned;.
tuned;
Sat, Mar 28, 10:05 PM
makarius committed rISABELLEd97f504c8145: clarified Isabelle_Process phases;.
clarified Isabelle_Process phases;
Sat, Mar 28, 2:07 PM
makarius committed rISABELLEb3b0d87edd20: clarified order: update syslog before handling exit;.
clarified order: update syslog before handling exit;
Sat, Mar 28, 2:07 PM
makarius committed rISABELLEf7a652732f4e: tuned error message;.
tuned error message;
Sat, Mar 28, 2:07 PM
makarius committed rISABELLEc6fa217c9d5e: clarified signature: more robust startup_join;.
clarified signature: more robust startup_join;
Sat, Mar 28, 2:07 PM

Fri, Mar 27

makarius committed rISABELLE8e0eece7058d: merged.
merged
Fri, Mar 27, 10:15 PM
makarius committed rISABELLE97ccf48c2f0c: misc tuning based on hints by IntelliJ IDEA;.
misc tuning based on hints by IntelliJ IDEA;
Fri, Mar 27, 10:15 PM
makarius committed rISABELLEd5502ee7c141: tuned;.
tuned;
Fri, Mar 27, 10:15 PM
makarius committed rISABELLE64aad1e46f98: clarified signature;.
clarified signature;
Fri, Mar 27, 10:15 PM
makarius committed rISABELLE23d0a45a9283: clarified signature;.
clarified signature;
Fri, Mar 27, 10:15 PM
makarius committed rISABELLE269dc4bf1f40: clarified signature;.
clarified signature;
Fri, Mar 27, 10:15 PM
makarius committed rISABELLEd025735a4090: clarified signature;.
clarified signature;
Fri, Mar 27, 10:15 PM
makarius committed rISABELLE817e26a03198: tuned;.
tuned;
Fri, Mar 27, 10:15 PM
makarius committed rISABELLE01d92325ddab: clarified signature: more accurate session_base_info.sessions_structure;.
clarified signature: more accurate session_base_info.sessions_structure;
Fri, Mar 27, 10:15 PM
makarius committed rISABELLE8a298184f3f9: clarified signature;.
clarified signature;
Fri, Mar 27, 10:15 PM

Tue, Mar 24

makarius added a comment to T9: Evaluate https://discourse.org as replacement for mailman, stackoverflow.

We can certainly discuss self-hosting of the Zulip platform (or alternatives), but I personally don't want to be in a "cool place" at all.

Tue, Mar 24, 1:25 PM

Mon, Mar 23

makarius committed rISABELLEd1c2ff90c29a: updated to scala-2.12.11;.
updated to scala-2.12.11;
Mon, Mar 23, 4:35 PM
makarius updated the post content for Blog Post: Release Candidates for Isabelle2020.
Mon, Mar 23, 1:53 PM
makarius updated the post content for Blog Post: Release Candidates for Isabelle2020.
Mon, Mar 23, 1:43 PM

Sun, Mar 22

makarius committed rISABELLE73d1dc57215f: avoid jdk-11.0.6+10: it shows problem "S8217731: Font rendering and glyph….
avoid jdk-11.0.6+10: it shows problem "S8217731: Font rendering and glyph…
Sun, Mar 22, 10:25 PM
makarius committed rISABELLE200ec7c4c1a5: tuned;.
tuned;
Sun, Mar 22, 3:12 PM

Sat, Mar 21

makarius created Blog Post: Slightly improved isabelle build_docker tool.
Sat, Mar 21, 10:42 PM
makarius committed rISABELLEf2c1154e9c8d: merged;.
merged;
Sat, Mar 21, 10:19 PM
makarius committed rISABELLE9a364ed3a440: delete Isabelle distribution archive after use;.
delete Isabelle distribution archive after use;
Sat, Mar 21, 10:19 PM
makarius committed rISABELLEe9f53182c4aa: more NEWS;.
more NEWS;
Sat, Mar 21, 10:19 PM
makarius committed rISABELLE9b49538845cc: documentation for "isabelle build_docker";.
documentation for "isabelle build_docker";
Sat, Mar 21, 10:19 PM
makarius committed rISABELLEb0be6c0589e8: tuned bib;.
tuned bib;
Sat, Mar 21, 10:19 PM
makarius committed rISABELLEd59d557f4ee0: updated for release;.
updated for release;
Sat, Mar 21, 10:19 PM
makarius committed rISABELLEa9ec1a8bfd4a: more documentation on view.antiAlias, not just NEWS;.
more documentation on view.antiAlias, not just NEWS;
Sat, Mar 21, 10:19 PM
makarius committed rISABELLEaff37005fd79: more NEWS;.
more NEWS;
Sat, Mar 21, 10:19 PM
makarius committed rISABELLE95460356d633: avoid premature crash due to missing session parents/imports;.
avoid premature crash due to missing session parents/imports;
Sat, Mar 21, 10:19 PM
makarius committed rISABELLEc67076c07fb8: avoid accidental update of base session sources (following documentation in….
avoid accidental update of base session sources (following documentation in…
Sat, Mar 21, 10:19 PM
makarius committed rISABELLEf55222fbeae3: avoid duplicate stderr output in isabelle build -v, e.g. "Timing ..." (amending….
avoid duplicate stderr output in isabelle build -v, e.g. "Timing ..." (amending…
Sat, Mar 21, 10:19 PM
makarius committed rISABELLEf36886cc32fa: prefer subpixel antialiasing by default: rendering of text is usually much….
prefer subpixel antialiasing by default: rendering of text is usually much…
Sat, Mar 21, 10:19 PM
makarius committed rISABELLEc2884545c846: slightly more explicit error, without going into the graph of proof futures;.
slightly more explicit error, without going into the graph of proof futures;
Sat, Mar 21, 10:19 PM
makarius committed rISABELLE391ea80ff27c: more robust re-use of $ISABELLE_TMP_PREFIX (amending c1597167563e);.
more robust re-use of $ISABELLE_TMP_PREFIX (amending c1597167563e);
Sat, Mar 21, 10:19 PM
makarius committed rISABELLE1005c50b2750: prefer strict qualification (default for 'interpretation', see 461ee3e49ad3) as….
prefer strict qualification (default for 'interpretation', see 461ee3e49ad3) as…
Sat, Mar 21, 10:18 PM
makarius committed rISABELLE9a29e883a934: tuned documentation, based on hints by Pedro Sánchez Terraf;.
tuned documentation, based on hints by Pedro Sánchez Terraf;
Sat, Mar 21, 10:18 PM
makarius committed rISABELLE76b739c0bedd: backed out changeset 7eadccd4392c: too confusing wrt. text overview panel;.
backed out changeset 7eadccd4392c: too confusing wrt. text overview panel;
Sat, Mar 21, 10:18 PM
makarius added a reverting change for rISABELLE7eadccd4392c: claried error elements: include internalized errors of tokens/commands;: rISABELLE76b739c0bedd: backed out changeset 7eadccd4392c: too confusing wrt. text overview panel;.
Sat, Mar 21, 10:18 PM

Thu, Mar 19

makarius committed rISABELLE24b68a932f26: back to old-style names for uniform sorting of build_status (amending….
back to old-style names for uniform sorting of build_status (amending…
Thu, Mar 19, 11:58 AM
makarius committed rISABELLE03133befa33b: support actual_host for lrzcloud2: the proxy_host/sshd cannot resolve invented….
support actual_host for lrzcloud2: the proxy_host/sshd cannot resolve invented…
Thu, Mar 19, 11:35 AM

Wed, Mar 18

makarius committed rISABELLE8ddd558d3044: clarified connection parameters (again, after adjusting $HOME/.ssh….
clarified connection parameters (again, after adjusting $HOME/.ssh…
Wed, Mar 18, 10:29 PM
makarius committed rISABELLE794c8b0ad8f1: clarified output;.
clarified output;
Wed, Mar 18, 10:29 PM

Mon, Mar 16

makarius committed rISABELLE1d8b6c2253e6: proper host for ssh.hg_url (required aliasing works via $HOME/.ssh/config);.
proper host for ssh.hg_url (required aliasing works via $HOME/.ssh/config);
Mon, Mar 16, 11:03 PM
makarius committed rISABELLE0a6cacf2c143: clarified test;.
clarified test;
Mon, Mar 16, 5:03 PM
makarius committed rISABELLE20a3543ae173: clarified connection parameters;.
clarified connection parameters;
Mon, Mar 16, 5:03 PM

Sun, Mar 15

makarius committed rWEBSITE1465f392e58c: tuned;.
tuned;
Sun, Mar 15, 1:51 PM
makarius committed rWEBSITE04df13a92fd5: obsolete;.
obsolete;
Sun, Mar 15, 1:51 PM
makarius created Blog Post: Mixfix annotations may use single-quote-space as documented.
Sun, Mar 15, 1:48 PM
makarius updated the post content for Blog Post: Release Candidates for Isabelle2020.
Sun, Mar 15, 1:36 PM
makarius updated the post content for Blog Post: Release Candidates for Isabelle2020.
Sun, Mar 15, 1:25 PM
makarius committed rISABELLE61ba52af28e3: back to post-release mode;.
back to post-release mode;
Sun, Mar 15, 1:25 PM
makarius committed rISABELLE644a78e08033: Added tag Isabelle2020-RC2 for changeset 7eadccd4392c.
Added tag Isabelle2020-RC2 for changeset 7eadccd4392c
Sun, Mar 15, 1:08 PM
makarius committed rISABELLE7eadccd4392c: claried error elements: include internalized errors of tokens/commands;.
claried error elements: include internalized errors of tokens/commands;
Sun, Mar 15, 11:55 AM
makarius committed rISABELLE2a82462276db: more robust connection via proxy_host;.
more robust connection via proxy_host;
Sun, Mar 15, 11:40 AM

Sat, Mar 14

makarius committed rISABELLEcf2406e654cf: more robust: proper transfer if Context.eq_thy_id;.
more robust: proper transfer if Context.eq_thy_id;
Sat, Mar 14, 10:22 PM
makarius committed rISABELLE76ec3baeec9d: tuned;.
tuned;
Sat, Mar 14, 8:57 PM
makarius committed rISABELLE309eeea0b2c6: merged.
merged
Sat, Mar 14, 8:57 PM
makarius committed rISABELLE319599ba28cf: more robust hg_url;.
more robust hg_url;
Sat, Mar 14, 8:57 PM
makarius committed rISABELLEf2b944898636: tuned;.
tuned;
Sat, Mar 14, 8:57 PM
makarius committed rISABELLEe32255318cb2: proper usage (amending 8c7706b053c7);.
proper usage (amending 8c7706b053c7);
Sat, Mar 14, 8:57 PM
makarius committed rISABELLEd350aabace23: proper escape for literal single quotes;.
proper escape for literal single quotes;
Sat, Mar 14, 8:57 PM
makarius committed rISABELLE4dd5dadfc87d: some uses of "' " as witness for this feature;.
some uses of "' " as witness for this feature;
Sat, Mar 14, 8:57 PM
makarius committed rISABELLEb0b16088ccf2: allow slightly odd "' " in mixfix as documented (introduced in 55754d6d399c….
allow slightly odd "' " in mixfix as documented (introduced in 55754d6d399c…
Sat, Mar 14, 8:57 PM
makarius committed rAFP23d7d61fa263: proper escape for literal single quotes;.
proper escape for literal single quotes;
Sat, Mar 14, 4:38 PM
makarius committed rAFPd4e2b44208ee: tuned whitespace;.
tuned whitespace;
Sat, Mar 14, 4:38 PM

Thu, Mar 12

makarius triaged T18: Isabelle/jEdit default font sizes for Linux/Metal, to work better with UHD/4K as Normal priority.
Thu, Mar 12, 11:09 PM · isabelle-release
makarius closed T18: Isabelle/jEdit default font sizes for Linux/Metal, to work better with UHD/4K as Resolved.

See Isabelle/e76692ec6e5

Thu, Mar 12, 11:08 PM · isabelle-release
makarius committed rISABELLE317e9ebbc3e1: updated for release;.
updated for release;
Thu, Mar 12, 11:05 PM
makarius committed rISABELLEe76692ec6e5a: more usable defaults for high resolution on Linux, where the desktop….
more usable defaults for high resolution on Linux, where the desktop…
Thu, Mar 12, 10:24 PM
makarius committed rISABELLE57c3224e4c30: tuned for Isabelle2020;.
tuned for Isabelle2020;
Thu, Mar 12, 10:24 PM
makarius committed rISABELLEc983fd846c9c: proper transfer for Thm.derivation_name;.
proper transfer for Thm.derivation_name;
Thu, Mar 12, 10:24 PM
makarius committed rISABELLE3cad8ffee92c: more explicit defaults;.
more explicit defaults;
Thu, Mar 12, 10:24 PM

Tue, Mar 10

makarius committed rISABELLE138e8226961e: tuned OS names;.
tuned OS names;
Tue, Mar 10, 10:55 PM
makarius committed rISABELLE93bdbac68d8d: standard tests for macOS 10.15 Catalina;.
standard tests for macOS 10.15 Catalina;
Tue, Mar 10, 10:55 PM
makarius committed rAFP1a10a02abc03: avoid hardwired document preparation;.
avoid hardwired document preparation;
Tue, Mar 10, 10:51 AM

Mon, Mar 9

makarius committed rISABELLEf10bffaa2bae: more scalable output of YXML files;.
more scalable output of YXML files;
Mon, Mar 9, 7:53 PM
makarius committed rISABELLE82fbfccca7dd: tuned;.
tuned;
Mon, Mar 9, 7:53 PM
makarius committed rISABELLEd7175626d61e: proper grounding of free types produced by reconstruct_proof/infer_type, e.g..
proper grounding of free types produced by reconstruct_proof/infer_type, e.g.
Mon, Mar 9, 7:53 PM
makarius committed rISABELLE046cf49162a3: more thorough strip_shyps for proof boxes (but types are usually stripped and….
more thorough strip_shyps for proof boxes (but types are usually stripped and…
Mon, Mar 9, 7:53 PM
makarius committed rISABELLE50ac132a49bb: tuned whitespace;.
tuned whitespace;
Mon, Mar 9, 7:53 PM