| 2020-03-29 |
wenzelm |
tuned signature -- follow Scala;
|
changeset |
files
|
| 2020-03-29 |
wenzelm |
tuned;
|
changeset |
files
|
| 2020-03-29 |
wenzelm |
more explicit type Protocol_Message.Marker;
|
changeset |
files
|
| 2020-03-29 |
wenzelm |
clarified protocol messages: explicitly use physical_writeln, always encode_lines;
|
changeset |
files
|
| 2020-03-29 |
wenzelm |
tuned;
|
changeset |
files
|
| 2020-03-29 |
wenzelm |
tuned whitespace;
|
changeset |
files
|
| 2020-03-29 |
paulson |
more tidying up of old apply-proofs
|
changeset |
files
|
| 2020-03-28 |
wenzelm |
merged
|
changeset |
files
|
| 2020-03-28 |
wenzelm |
tuned;
|
changeset |
files
|
| 2020-03-28 |
wenzelm |
tuned;
|
changeset |
files
|
| 2020-03-28 |
wenzelm |
tuned;
|
changeset |
files
|
| 2020-03-28 |
wenzelm |
eliminated pointless flag (see also 6533ceee4cd7);
|
changeset |
files
|
| 2020-03-28 |
wenzelm |
tuned;
|
changeset |
files
|
| 2020-03-28 |
paulson |
merged
|
changeset |
files
|
| 2020-03-28 |
paulson |
structured a lot of ancient, horrible proofs
|
changeset |
files
|
| 2020-03-28 |
wenzelm |
clarified Isabelle_Process phases;
|
changeset |
files
|
| 2020-03-28 |
wenzelm |
clarified order: update syslog before handling exit;
|
changeset |
files
|
| 2020-03-28 |
wenzelm |
tuned error message;
|
changeset |
files
|
| 2020-03-28 |
wenzelm |
clarified signature: more robust startup_join;
|
changeset |
files
|
| 2020-03-27 |
wenzelm |
merged
|
changeset |
files
|
| 2020-03-27 |
wenzelm |
tuned;
|
changeset |
files
|
| 2020-03-27 |
wenzelm |
misc tuning based on hints by IntelliJ IDEA;
|
changeset |
files
|
| 2020-03-27 |
wenzelm |
clarified signature;
|
changeset |
files
|
| 2020-03-27 |
wenzelm |
clarified signature;
|
changeset |
files
|
| 2020-03-27 |
wenzelm |
clarified signature;
|
changeset |
files
|
| 2020-03-27 |
wenzelm |
clarified signature;
|
changeset |
files
|
| 2020-03-27 |
wenzelm |
tuned;
|
changeset |
files
|
| 2020-03-27 |
wenzelm |
clarified signature: more accurate session_base_info.sessions_structure;
|
changeset |
files
|
| 2020-03-27 |
wenzelm |
clarified signature;
|
changeset |
files
|
| 2020-03-27 |
nipkow |
added lemma
|
changeset |
files
|
| 2020-03-25 |
paulson |
merged
|
changeset |
files
|
| 2020-03-25 |
paulson |
updated to more modern style
|
changeset |
files
|
| 2020-03-23 |
wenzelm |
updated to scala-2.12.11;
|
changeset |
files
|
| 2020-03-23 |
paulson |
merged
|
changeset |
files
|
| 2020-03-23 |
paulson |
put back Nat.le_diff_conv2 because AUTO2 doesn't work with Groups.le_diff_conv2
|
changeset |
files
|
| 2020-03-22 |
paulson |
merged
|
changeset |
files
|
| 2020-03-22 |
paulson |
new-style Greater lemmas
|
changeset |
files
|
| 2020-03-22 |
paulson |
tidying up some horrible proofs
|
changeset |
files
|
| 2020-03-22 |
wenzelm |
avoid jdk-11.0.6+10: it shows problem "S8217731: Font rendering and glyph spacing changed from jdk-8 to jdk-11" https://bugs.openjdk.java.net/browse/JDK-8217731 even though the changelog claims to have resolved this;
|
changeset |
files
|
| 2020-03-22 |
wenzelm |
tuned;
|
changeset |
files
|
| 2020-03-21 |
wenzelm |
merged;
|
changeset |
files
|
| 2020-03-21 |
wenzelm |
more NEWS;
|
changeset |
files
|
| 2020-03-21 |
wenzelm |
delete Isabelle distribution archive after use;
|
changeset |
files
|
| 2020-03-21 |
wenzelm |
documentation for "isabelle build_docker";
|
changeset |
files
|
| 2020-03-21 |
wenzelm |
updated for release;
|
changeset |
files
|
| 2020-03-21 |
wenzelm |
tuned bib;
|
changeset |
files
|
| 2020-03-21 |
wenzelm |
more documentation on view.antiAlias, not just NEWS;
|
changeset |
files
|
| 2020-03-20 |
wenzelm |
more NEWS;
|
changeset |
files
|
| 2020-03-20 |
wenzelm |
avoid premature crash due to missing session parents/imports;
|
changeset |
files
|
| 2020-03-20 |
wenzelm |
avoid accidental update of base session sources (following documentation in "system" manual);
|
changeset |
files
|
| 2020-03-20 |
wenzelm |
avoid duplicate stderr output in isabelle build -v, e.g. "Timing ..." (amending a829207b32a3);
|
changeset |
files
|
| 2020-03-20 |
wenzelm |
prefer subpixel antialiasing by default: rendering of text is usually much faster, notably on Linux (see also 093ab1a99eb6 and f610115ca3d0);
|
changeset |
files
|
| 2020-03-18 |
wenzelm |
slightly more explicit error, without going into the graph of proof futures;
|
changeset |
files
|
| 2020-03-18 |
wenzelm |
more robust re-use of $ISABELLE_TMP_PREFIX (amending c1597167563e);
|
changeset |
files
|
| 2020-03-18 |
wenzelm |
prefer strict qualification (default for 'interpretation', see 461ee3e49ad3) as proposed by Pedro Sánchez Terraf;
|
changeset |
files
|
| 2020-03-18 |
wenzelm |
tuned documentation, based on hints by Pedro Sánchez Terraf;
|
changeset |
files
|
| 2020-03-18 |
wenzelm |
backed out changeset 7eadccd4392c: too confusing wrt. text overview panel;
|
changeset |
files
|
| 2020-03-19 |
wenzelm |
back to old-style names for uniform sorting of build_status (amending 138e8226961e);
|
changeset |
files
|
| 2020-03-19 |
wenzelm |
support actual_host for lrzcloud2: the proxy_host/sshd cannot resolve invented hostname (amending 1d8b6c2253e6);
|
changeset |
files
|
| 2020-03-18 |
wenzelm |
clarified connection parameters (again, after adjusting $HOME/.ssh configuration);
|
changeset |
files
|