Projects

makarius committed rISABELLE189f17479275: tuned;.

tuned;

makarius committed rISABELLEf0499449e149: clarified modules;.

clarified modules;

makarius committed rISABELLEb3bddebe44ca: clarified signature: more explicit type Protocol_Message.Marker;.

clarified signature: more explicit type Protocol_Message.Marker;

makarius committed rISABELLEab5009192ebb: tuned signature -- follow Scala;.

tuned signature -- follow Scala;

makarius committed rISABELLE281591ab169b: tuned;.

tuned;

makarius committed rISABELLE5a4ccef7f310: more explicit type Protocol_Message.Marker;.

more explicit type Protocol_Message.Marker;

makarius committed rISABELLEe33f6e5f86b6: clarified protocol messages: explicitly use physical_writeln, always….

clarified protocol messages: explicitly use physical_writeln, always…

makarius committed rISABELLE1b8861bcb03c: tuned;.

tuned;

makarius committed rISABELLE01166f13c2c0: tuned whitespace;.

tuned whitespace;

Sat, Mar 28

makarius committed rISABELLE74c874b5aed0: merged.

merged

makarius committed rISABELLEe6dead7d5334: tuned;.

tuned;

makarius committed rISABELLE6bce25f9d0ab: tuned;.

tuned;

makarius committed rISABELLEe0a5d6068141: tuned;.

tuned;

makarius committed rISABELLEfb6953e77000: eliminated pointless flag (see also 6533ceee4cd7);.

eliminated pointless flag (see also 6533ceee4cd7);

makarius committed rISABELLE5730eb952208: tuned;.

tuned;

makarius committed rISABELLEd97f504c8145: clarified Isabelle_Process phases;.

clarified Isabelle_Process phases;

makarius committed rISABELLEb3b0d87edd20: clarified order: update syslog before handling exit;.

clarified order: update syslog before handling exit;

makarius committed rISABELLEf7a652732f4e: tuned error message;.

tuned error message;

makarius committed rISABELLEc6fa217c9d5e: clarified signature: more robust startup_join;.

clarified signature: more robust startup_join;

Fri, Mar 27

makarius committed rISABELLE8e0eece7058d: merged.

merged

makarius committed rISABELLE97ccf48c2f0c: misc tuning based on hints by IntelliJ IDEA;.

misc tuning based on hints by IntelliJ IDEA;

makarius committed rISABELLEd5502ee7c141: tuned;.

tuned;

makarius committed rISABELLE64aad1e46f98: clarified signature;.

clarified signature;

makarius committed rISABELLE23d0a45a9283: clarified signature;.

clarified signature;

makarius committed rISABELLE269dc4bf1f40: clarified signature;.

clarified signature;

makarius committed rISABELLEd025735a4090: clarified signature;.

clarified signature;

makarius committed rISABELLE817e26a03198: tuned;.

tuned;

makarius committed rISABELLE01d92325ddab: clarified signature: more accurate session_base_info.sessions_structure;.

clarified signature: more accurate session_base_info.sessions_structure;

makarius committed rISABELLE8a298184f3f9: clarified signature;.

clarified signature;

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;

makarius committed rISABELLE9a364ed3a440: delete Isabelle distribution archive after use;.

delete Isabelle distribution archive after use;

makarius committed rISABELLEe9f53182c4aa: more NEWS;.

more NEWS;

makarius committed rISABELLE9b49538845cc: documentation for "isabelle build_docker";.

documentation for "isabelle build_docker";

makarius committed rISABELLEb0be6c0589e8: tuned bib;.

tuned bib;

makarius committed rISABELLEd59d557f4ee0: updated for release;.

updated for release;

makarius committed rISABELLEa9ec1a8bfd4a: more documentation on view.antiAlias, not just NEWS;.

more documentation on view.antiAlias, not just NEWS;

makarius committed rISABELLEaff37005fd79: more NEWS;.

more NEWS;

makarius committed rISABELLE95460356d633: avoid premature crash due to missing session parents/imports;.

avoid premature crash due to missing session parents/imports;

makarius committed rISABELLEc67076c07fb8: avoid accidental update of base session sources (following documentation in….

avoid accidental update of base session sources (following documentation in…

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…

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…

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;

makarius committed rISABELLE391ea80ff27c: more robust re-use of $ISABELLE_TMP_PREFIX (amending c1597167563e);.

more robust re-use of $ISABELLE_TMP_PREFIX (amending c1597167563e);

makarius committed rISABELLE1005c50b2750: prefer strict qualification (default for 'interpretation', see 461ee3e49ad3) as….

prefer strict qualification (default for 'interpretation', see 461ee3e49ad3) as…

makarius committed rISABELLE9a29e883a934: tuned documentation, based on hints by Pedro Sánchez Terraf;.

tuned documentation, based on hints by Pedro Sánchez Terraf;

makarius committed rISABELLE76b739c0bedd: backed out changeset 7eadccd4392c: too confusing wrt. text overview panel;.

backed out changeset 7eadccd4392c: too confusing wrt. text overview panel;

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;.

makarius committed rISABELLE03133befa33b: support actual_host for lrzcloud2: the proxy_host/sshd cannot resolve invented….

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

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;

makarius committed rISABELLE309eeea0b2c6: merged.

merged

makarius committed rISABELLE319599ba28cf: more robust hg_url;.

more robust hg_url;

makarius committed rISABELLEf2b944898636: tuned;.

tuned;

makarius committed rISABELLEe32255318cb2: proper usage (amending 8c7706b053c7);.

proper usage (amending 8c7706b053c7);

makarius committed rISABELLEd350aabace23: proper escape for literal single quotes;.

proper escape for literal single quotes;

makarius committed rISABELLE4dd5dadfc87d: some uses of "' " as witness for this feature;.

some uses of "' " as witness for this feature;

makarius committed rISABELLEb0b16088ccf2: allow slightly odd "' " in mixfix as documented (introduced in 55754d6d399c….

allow slightly odd "' " in mixfix as documented (introduced in 55754d6d399c…

Thu, Mar 12, 11:09 PM · isabelle-release

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.

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…

makarius committed rISABELLE57c3224e4c30: tuned for Isabelle2020;.

tuned for Isabelle2020;

makarius committed rISABELLEc983fd846c9c: proper transfer for Thm.derivation_name;.

proper transfer for Thm.derivation_name;

makarius committed rISABELLE3cad8ffee92c: more explicit defaults;.

more explicit defaults;

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;

makarius committed rISABELLE82fbfccca7dd: tuned;.

tuned;

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.

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…

makarius committed rISABELLE50ac132a49bb: tuned whitespace;.

tuned whitespace;