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

simplified code and proofs
2020-04-01, by nipkow
automated proof
2020-04-01, by nipkow
merged
2020-03-31, by nipkow
cleaned proofs
2020-03-31, by nipkow
clarified signature;
2020-03-30, by wenzelm
more accurate treatment of errors;
2020-03-30, by wenzelm
clarified modules: global quasi-scope for markers;
2020-03-30, by wenzelm
redunant simp rule
2020-03-30, by nipkow
merged
2020-03-29, by paulson
more ugly old proofs
2020-03-29, by paulson
merged
2020-03-29, by wenzelm
tuned;
2020-03-29, by wenzelm
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

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

isabelle