isabelle: Graph

Mercurial Mercurial > repos > isabelle / graph

summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
less more | (0) -30000 -10000 -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 +3000 +10000 tip

clarified modules;
2020-03-29, by wenzelm
clarified signature: more explicit type Protocol_Message.Marker;
2020-03-29, by wenzelm
tuned signature -- follow Scala;
2020-03-29, by wenzelm
tuned;
2020-03-29, by wenzelm
more explicit type Protocol_Message.Marker;
2020-03-29, by wenzelm
clarified protocol messages: explicitly use physical_writeln, always encode_lines;
2020-03-29, by wenzelm
tuned;
2020-03-29, by wenzelm
tuned whitespace;
2020-03-29, by wenzelm
more tidying up of old apply-proofs
2020-03-29, by paulson
merged
2020-03-28, by wenzelm
tuned;
2020-03-28, by wenzelm
tuned;
2020-03-28, by wenzelm
tuned;
2020-03-28, by wenzelm
eliminated pointless flag (see also 6533ceee4cd7);
2020-03-28, by wenzelm
tuned;
2020-03-28, by wenzelm
merged
2020-03-28, by paulson
structured a lot of ancient, horrible proofs
2020-03-28, by paulson
clarified Isabelle_Process phases;
2020-03-28, by wenzelm
clarified order: update syslog before handling exit;
2020-03-28, by wenzelm
tuned error message;
2020-03-28, by wenzelm
clarified signature: more robust startup_join;
2020-03-28, by wenzelm
merged
2020-03-27, by wenzelm
tuned;
2020-03-27, by wenzelm
misc tuning based on hints by IntelliJ IDEA;
2020-03-27, by wenzelm
clarified signature;
2020-03-27, by wenzelm
clarified signature;
2020-03-27, by wenzelm
clarified signature;
2020-03-27, by wenzelm
clarified signature;
2020-03-27, by wenzelm
tuned;
2020-03-27, by wenzelm
clarified signature: more accurate session_base_info.sessions_structure;
2020-03-27, by wenzelm
clarified signature;
2020-03-27, by wenzelm
added lemma
2020-03-27, by nipkow
merged
2020-03-25, by paulson
updated to more modern style
2020-03-25, by paulson
updated to scala-2.12.11;
2020-03-23, by wenzelm
merged
2020-03-23, by paulson
put back Nat.le_diff_conv2 because AUTO2 doesn't work with Groups.le_diff_conv2
2020-03-23, by paulson
merged
2020-03-22, by paulson
new-style Greater lemmas
2020-03-22, by paulson
tidying up some horrible proofs
2020-03-22, by paulson
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;
2020-03-22, by wenzelm
tuned;
2020-03-22, by wenzelm
merged;
2020-03-21, by wenzelm
more NEWS;
2020-03-21, by wenzelm
delete Isabelle distribution archive after use;
2020-03-21, by wenzelm
documentation for "isabelle build_docker";
2020-03-21, by wenzelm
updated for release;
2020-03-21, by wenzelm
tuned bib;
2020-03-21, by wenzelm
more documentation on view.antiAlias, not just NEWS;
2020-03-21, by wenzelm
more NEWS;
2020-03-20, by wenzelm
avoid premature crash due to missing session parents/imports;
2020-03-20, by wenzelm
avoid accidental update of base session sources (following documentation in "system" manual);
2020-03-20, by wenzelm
avoid duplicate stderr output in isabelle build -v, e.g. "Timing ..." (amending a829207b32a3);
2020-03-20, by wenzelm
prefer subpixel antialiasing by default: rendering of text is usually much faster, notably on Linux (see also 093ab1a99eb6 and f610115ca3d0);
2020-03-20, by wenzelm
slightly more explicit error, without going into the graph of proof futures;
2020-03-18, by wenzelm
more robust re-use of $ISABELLE_TMP_PREFIX (amending c1597167563e);
2020-03-18, by wenzelm
prefer strict qualification (default for 'interpretation', see 461ee3e49ad3) as proposed by Pedro Sánchez Terraf;
2020-03-18, by wenzelm
tuned documentation, based on hints by Pedro Sánchez Terraf;
2020-03-18, by wenzelm
backed out changeset 7eadccd4392c: too confusing wrt. text overview panel;
2020-03-18, by wenzelm
back to old-style names for uniform sorting of build_status (amending 138e8226961e);
2020-03-19, by wenzelm

less more | (0) -30000 -10000 -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 +3000 +10000 tip

isabelle