- Queries
- All Stories
- Search
- Advanced Search
- Transactions
- Transaction Logs
Feed Advanced Search
Advanced Search
Advanced Search
Apr 2 2020
Apr 2 2020
makarius committed rISABELLE0f98a7c366ed: 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…
Resolved in Isabelle/4269db8981b8 and Isabelle/d7175626d61e.
Works fine in Isabelle/6db526adccac.
Apr 1 2020
Apr 1 2020
more robust: process stdout on Windows may contain CR;
clarified signature;
prefer system option: easier to make it default;
makarius committed rISABELLE95ab607398bd: support multiple sessions, notably for "isabelle build -P -j2";.
support multiple sessions, notably for "isabelle build -P -j2";
pretty formatting as in Isabelle/ML;
output prover messages;
clarified signature;
clarified signature: more robust;
proper parent base;
traditional print_mode for batch build;
proper support for "isabelle build -P Pure";
clarified signature: more robust bootstrap base;
makarius committed rISABELLEc1409b9c2b22: proper startup for Pure: its use_prelude produces stdout before stderr protocol….
proper startup for Pure: its use_prelude produces stdout before stderr protocol…
proper context for loading Pure;
makarius committed rISABELLEec84f542e411: clarified signature of ML_Process vs. Isabelle_Process: proper support for….
clarified signature of ML_Process vs. Isabelle_Process: proper support for…
close socket explicitly (idempotent);
makarius committed rISABELLE45c2b8cf1b26: more robust message_context and shutdown, e.g. after errors in protocol loop….
more robust message_context and shutdown, e.g. after errors in protocol loop…
Mar 30 2020
Mar 30 2020
clarified signature;
more accurate treatment of errors;
clarified modules: global quasi-scope for markers;
Mar 29 2020
Mar 29 2020
clarified modules;
makarius committed rISABELLEb3bddebe44ca: clarified signature: more explicit type Protocol_Message.Marker;.
clarified signature: more explicit type Protocol_Message.Marker;
tuned signature -- follow Scala;
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…
Mar 28 2020
Mar 28 2020
eliminated pointless flag (see also 6533ceee4cd7);
clarified Isabelle_Process phases;
clarified order: update syslog before handling exit;
tuned error message;
clarified signature: more robust startup_join;
Mar 27 2020
Mar 27 2020
misc tuning based on hints by IntelliJ IDEA;
clarified signature;
clarified signature;
clarified signature;
clarified signature;
makarius committed rISABELLE01d92325ddab: clarified signature: more accurate session_base_info.sessions_structure;.
clarified signature: more accurate session_base_info.sessions_structure;
clarified signature;
Mar 24 2020
Mar 24 2020
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.
Mar 23 2020
Mar 23 2020
updated to scala-2.12.11;
Mar 22 2020
Mar 22 2020
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…
Mar 21 2020
Mar 21 2020
delete Isabelle distribution archive after use;
documentation for "isabelle build_docker";
updated for release;
more documentation on view.antiAlias, not just 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;
Mar 19 2020
Mar 19 2020
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…
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…
Mar 18 2020
Mar 18 2020
makarius committed rISABELLE8ddd558d3044: clarified connection parameters (again, after adjusting $HOME/.ssh….
clarified connection parameters (again, after adjusting $HOME/.ssh…
Mar 16 2020
Mar 16 2020
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);
clarified connection parameters;
Mar 15 2020
Mar 15 2020
back to post-release mode;
Added tag Isabelle2020-RC2 for changeset 7eadccd4392c
makarius committed rISABELLE7eadccd4392c: claried error elements: include internalized errors of tokens/commands;.
claried error elements: include internalized errors of tokens/commands;
more robust connection via proxy_host;
Mar 14 2020
Mar 14 2020
more robust: proper transfer if Context.eq_thy_id;