Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. proper document source;
  2. simplified / unified isatest settings;
  3. tuned signature;
  4. discontinued old 'header';
  5. more official "isabelle check_sources";
  6. removed pointless "isabelle yxml";
  7. moved getopts to Scala;
  8. moved getopts to Scala;
  9. obsolete;
  10. obsolete;
  11. moved getopts to Scala;
  12. moved getopts to Scala;
  13. tuned;
  14. just one File.find_files, based on Java 7 Files operations;
Changeset 62456:11e06f5283bc by wenzelm:
proper document source;
The file was modified src/HOL/Multivariate_Analysis/Cauchy_Integral_Thm.thy (diff)
Changeset 62455:2026ef279d1e by wenzelm:
simplified / unified isatest settings;
The file was modified Admin/isatest/isatest-makedist (diff)
The file was modified Admin/isatest/settings/mac-poly-M2 (diff)
The file was modified Admin/isatest/settings/mac-poly-M4 (diff)
The file was modified Admin/isatest/settings/mac-poly-M8 (diff)
The file was modified Admin/isatest/settings/mac-poly-M8-quick_and_dirty (diff)
The file was modified Admin/isatest/settings/mac-poly-M8-skip_proofs (diff)
The file was modified Admin/isatest/settings/mac-poly64-M2 (diff)
The file was modified Admin/isatest/settings/mac-poly64-M4 (diff)
The file was modified Admin/isatest/settings/mac-poly64-M8 (diff)
The file was removedAdmin/isatest/settings/at-poly-e
The file was removedAdmin/isatest/settings/at-poly-test
The file was removedAdmin/isatest/settings/mac-poly-M2-alternative
Changeset 62454:38c89353b349 by wenzelm:
tuned signature;
The file was modified src/Pure/System/getopts.scala (diff)
The file was modified src/Pure/System/options.scala (diff)
The file was modified src/Pure/Tools/build_doc.scala (diff)
The file was modified src/Pure/Tools/check_sources.scala (diff)
The file was modified src/Pure/Tools/doc.scala (diff)
The file was modified src/Pure/Tools/update_cartouches.scala (diff)
The file was modified src/Pure/Tools/update_header.scala (diff)
The file was modified src/Pure/Tools/update_then.scala (diff)
The file was modified src/Pure/Tools/update_theorems.scala (diff)
Changeset 62453:b93cc7d73431 by wenzelm:
discontinued old 'header';
The file was modified NEWS (diff)
The file was modified src/Pure/Isar/outer_syntax.scala (diff)
The file was modified src/Pure/Thy/thy_header.ML (diff)
The file was modified src/Pure/Thy/thy_header.scala (diff)
The file was modified src/Pure/Thy/thy_output.ML (diff)
The file was modified src/Pure/pure_syn.ML (diff)
Changeset 62452:f25b67245699 by wenzelm:
more official "isabelle check_sources";
The file was addedAdmin/lib/Tools/check_sources
The file was addedsrc/Pure/Tools/check_sources.scala
The file was modified Admin/Release/CHECKLIST (diff)
The file was modified src/Pure/build-jars (diff)
The file was removedsrc/Pure/Tools/check_source.scala
Changeset 62451:040b94ffbdde by wenzelm:
removed pointless "isabelle yxml";
The file was modified NEWS (diff)
The file was modified src/Doc/System/Basics.thy (diff)
The file was modified src/Doc/System/Misc.thy (diff)
The file was removedlib/Tools/yxml
The file was removedlib/scripts/yxml
Changeset 62450:2154f709fc25 by wenzelm:
moved getopts to Scala;
The file was modified lib/Tools/update_theorems (diff)
The file was modified src/Pure/Tools/update_theorems.scala (diff)
Changeset 62449:1785cbadd226 by wenzelm:
moved getopts to Scala;
The file was modified lib/Tools/update_then (diff)
The file was modified src/Pure/Tools/update_then.scala (diff)
Changeset 62448:5ec1d01089e3 by wenzelm:
obsolete;
The file was removedlib/Tools/update_sub_sup
The file was removedlib/scripts/update_sub_sup
Changeset 62447:26861a913d6b by wenzelm:
obsolete;
The file was modified src/Pure/build-jars (diff)
The file was removedlib/Tools/update_semicolons
The file was removedsrc/Pure/Tools/update_semicolons.scala
Changeset 62446:5b749c31eb97 by wenzelm:
moved getopts to Scala;
The file was modified lib/Tools/update_header (diff)
The file was modified src/Pure/Tools/update_header.scala (diff)
Changeset 62445:91902961184c by wenzelm:
moved getopts to Scala;
The file was modified lib/Tools/update_cartouches (diff)
The file was modified src/Pure/Tools/update_cartouches.scala (diff)
Changeset 62444:94f457bea7c1 by wenzelm:
tuned;
The file was modified src/Pure/General/file.scala (diff)
Changeset 62443:133f65ac17e5 by wenzelm:
just one File.find_files, based on Java 7 Files operations;
The file was modified src/Pure/General/file.scala (diff)
The file was modified src/Tools/jEdit/src/scala_console.scala (diff)