Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. discontinued somewhat pointless Isabelle options: setup implicitly assumes Ubuntu 18.04;
  3. unused;
  4. support for Phabricator mail configuration; discontinued template for "isabelle phabricator_update" -- is likely to become a plain shell script;
  5. merged
  6. corrected typo in lemma name
  7. moved lemma
  8. merged
  9. characterization of until in terms of strong until (and vice versa), contributed by Michael Foster
  10. tuned toc
Changeset 71069:9314a4cc84ea by wenzelm:
merged
Changeset 71068:510b89906d86 by wenzelm:
discontinued somewhat pointless Isabelle options: setup implicitly assumes Ubuntu 18.04;
The file was modified etc/options (diff)
The file was modified src/Pure/Tools/phabricator.scala (diff)
Changeset 71067:67cbf2e52785 by wenzelm:
unused;
The file was modified etc/options (diff)
Changeset 71066:114db2b5a5f8 by wenzelm:
support for Phabricator mail configuration;<br>discontinued template for &quot;isabelle phabricator_update&quot; -- is likely to become a plain shell script;
The file was modified src/Pure/Tools/phabricator.scala (diff)
Changeset 71065:98ac9a4323a2 by traytel:
merged
Changeset 71064:c9c1a64eeb69 by traytel:
corrected typo in lemma name
The file was modified src/HOL/Library/Linear_Temporal_Logic_on_Streams.thy (diff)
Changeset 71063:d628bbdce79a by nipkow:
moved lemma
The file was modified src/HOL/Analysis/Elementary_Topology.thy (diff)
The file was modified src/HOL/Topological_Spaces.thy (diff)
Changeset 71062:b3956a37c994 by traytel:
merged
Changeset 71061:1d19e844fa4d by traytel:
characterization of until in terms of strong until (and vice versa), contributed by Michael Foster
The file was modified src/HOL/Library/Linear_Temporal_Logic_on_Streams.thy (diff)
Changeset 71060:295609359b58 by nipkow:
tuned toc
The file was modified src/HOL/Analysis/document/root.tex (diff)