Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. NEWS;
  2. more accurate _listFiles -- avoid infinite infinite expansion of e.g. "$ISABELLE_HOME";
  3. merged
  4. removed left-over test material (amending bb0a354f6b46);
  5. updated to polyml-test-1236652ebd55;
  6. added option jedit_text_overview for visual appearance (not performance, see also 72216713733a);
  7. adapted to a8ee66876a1a;
  8. show file-browser favorites more prominently: access to Isabelle resources;
  9. tuned -- sort lines;
  10. tuned default layout;
  11. clarified default layout: global overview left, local document information right;
  12. prefer tail-recursive version (despite 4b99b1214034);
  13. proper congruence rule for image operator
  14. less special syntax: make \<Sum> an ordinary function symbol
Changeset 69780:b9a5805d1d70 by wenzelm:
NEWS;
The file was modified NEWS (diff)
Changeset 69779:a2218981a5d6 by wenzelm:
more accurate _listFiles -- avoid infinite infinite expansion of e.g. &quot;$ISABELLE_HOME&quot;;
The file was addedsrc/Tools/jEdit/patches/favorites
Changeset 69778:09ad02c0fbee by wenzelm:
merged
Changeset 69777:1df241e340c8 by wenzelm:
removed left-over test material (amending bb0a354f6b46);
The file was modified src/Pure/Tools/build.scala (diff)
Changeset 69776:f646759090ce by wenzelm:
updated to polyml-test-1236652ebd55;
The file was modified Admin/components/components.sha1 (diff)
The file was modified Admin/components/main (diff)
The file was modified Admin/polyml/README (diff)
Changeset 69775:5a8ae7a4b7d0 by wenzelm:
added option jedit_text_overview for visual appearance (not performance, see also 72216713733a);
The file was modified NEWS (diff)
The file was modified src/Tools/jEdit/etc/options (diff)
The file was modified src/Tools/jEdit/src/document_view.scala (diff)
Changeset 69774:8608928e54ab by wenzelm:
adapted to a8ee66876a1a;
The file was modified src/Tools/jEdit/src/jEdit.props (diff)
Changeset 69773:ca9780325a21 by wenzelm:
show file-browser favorites more prominently: access to Isabelle resources;
The file was modified src/Tools/jEdit/src/jEdit.props (diff)
Changeset 69772:ae1ef77746b5 by wenzelm:
tuned -- sort lines;
The file was modified src/Tools/jEdit/src/jEdit.props (diff)
Changeset 69771:a8ee66876a1a by wenzelm:
tuned default layout;
The file was modified src/Pure/Tools/main.scala (diff)
Changeset 69770:efb0e5332441 by wenzelm:
clarified default layout: global overview left, local document information right;
The file was modified src/Pure/Tools/main.scala (diff)
The file was modified src/Tools/jEdit/src/jEdit.props (diff)
Changeset 69769:c19a32cb9625 by wenzelm:
prefer tail-recursive version (despite 4b99b1214034);
The file was modified src/Pure/library.ML (diff)
Changeset 69768:7e4966eaf781 by haftmann:
proper congruence rule for image operator
The file was modified NEWS (diff)
The file was modified src/HOL/Analysis/Caratheodory.thy (diff)
The file was modified src/HOL/Analysis/Convex.thy (diff)
The file was modified src/HOL/Analysis/Elementary_Topology.thy (diff)
The file was modified src/HOL/Analysis/Embed_Measure.thy (diff)
The file was modified src/HOL/Analysis/Homotopy.thy (diff)
The file was modified src/HOL/Analysis/Sigma_Algebra.thy (diff)
The file was modified src/HOL/Binomial.thy (diff)
The file was modified src/HOL/Complete_Lattices.thy (diff)
The file was modified src/HOL/Enum.thy (diff)
The file was modified src/HOL/Fun.thy (diff)
The file was modified src/HOL/GCD.thy (diff)
The file was modified src/HOL/Hilbert_Choice.thy (diff)
The file was modified src/HOL/Hoare_Parallel/RG_Examples.thy (diff)
The file was modified src/HOL/Probability/ex/Dining_Cryptographers.thy (diff)
The file was modified src/HOL/Set.thy (diff)
The file was modified src/HOL/Set_Interval.thy (diff)
The file was modified src/HOL/UNITY/Comp/Alloc.thy (diff)
Changeset 69767:d10fafeb93c0 by nipkow:
less special syntax: make \&lt;Sum&gt; an ordinary function symbol
The file was modified src/HOL/Groups_Big.thy (diff)