Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. insort renamings
  3. more operations; tuned signature;
  4. support explicit SSH port;
  5. redundant (after f28aee3ad1e6): self_update already takes care of currently active Isabelle clone;
  6. clarified options;
  7. Added lemmas
  8. merged
  9. Five slightly useful lemmas
  10. clarified option -T;
  11. preserve jars for quick testing;
  12. tuned names;
  13. clarified documentation: $ISABELLE_HOME is not a repository for regular releases;
  14. clarified command-line options;
  15. proper anchored pattern;
  16. support thorough check of file content;
  17. more documentation;
Changeset 75502:5cd5f9059f81 by nipkow:
merged
Changeset 75501:426afab39a55 by nipkow:
insort renamings
The file was modified src/HOL/Data_Structures/Selection.thy (diff)
The file was modified src/HOL/Data_Structures/Sorting.thy (diff)
Changeset 75500:57e292106d71 by wenzelm:
more operations;<br>tuned signature;
The file was modified src/Pure/General/ssh.scala (diff)
Changeset 75499:c635368021b6 by wenzelm:
support explicit SSH port;
The file was modified src/Doc/System/Misc.thy (diff)
The file was modified src/Pure/Admin/sync_repos.scala (diff)
The file was modified src/Pure/General/mercurial.scala (diff)
The file was modified src/Pure/System/isabelle_system.scala (diff)
Changeset 75498:108b8985a2d9 by wenzelm:
redundant (after f28aee3ad1e6): self_update already takes care of currently active Isabelle clone;
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)
Changeset 75497:0a5f7b5da16f by wenzelm:
clarified options;
The file was modified src/Pure/Admin/afp.scala (diff)
The file was modified src/Pure/Admin/sync_repos.scala (diff)
Changeset 75496:99b37c391433 by nipkow:
Added lemmas
The file was modified src/HOL/List.thy (diff)
Changeset 75495:4f9809edf95a by paulson:
merged
Changeset 75494:eded3fe9e600 by paulson _lp15@cam.ac.uk_:
Five slightly useful lemmas
The file was modified src/HOL/Analysis/Complex_Transcendental.thy (diff)
The file was modified src/HOL/Complex.thy (diff)
The file was modified src/HOL/Conditionally_Complete_Lattices.thy (diff)
Changeset 75493:f775dfb55655 by wenzelm:
clarified option -T;
The file was modified src/Doc/System/Misc.thy (diff)
The file was modified src/Pure/Admin/sync_repos.scala (diff)
The file was modified src/Pure/General/mercurial.scala (diff)
The file was modified src/Pure/System/isabelle_system.scala (diff)
Changeset 75492:c03c2bf4ef8a by wenzelm:
preserve jars for quick testing;
The file was modified src/Pure/Admin/sync_repos.scala (diff)
Changeset 75491:47d790984e82 by wenzelm:
tuned names;
The file was modified src/Pure/Admin/build_jedit.scala (diff)
The file was modified src/Pure/Admin/build_release.scala (diff)
The file was modified src/Pure/Admin/build_sqlite.scala (diff)
The file was modified src/Pure/Admin/sync_repos.scala (diff)
The file was modified src/Pure/General/mercurial.scala (diff)
Changeset 75490:5e37ea93759d by wenzelm:
clarified documentation: $ISABELLE_HOME is not a repository for regular releases;
The file was modified src/Doc/System/Misc.thy (diff)
Changeset 75489:f08fd5048df3 by wenzelm:
clarified command-line options;
The file was modified src/Doc/System/Misc.thy (diff)
The file was modified src/Pure/General/mercurial.scala (diff)
Changeset 75488:98d24c6516f6 by wenzelm:
proper anchored pattern;
The file was modified src/Pure/Admin/sync_repos.scala (diff)
Changeset 75487:167660a8f99e by wenzelm:
support thorough check of file content;
The file was modified src/Doc/System/Misc.thy (diff)
The file was modified src/Pure/Admin/sync_repos.scala (diff)
The file was modified src/Pure/General/mercurial.scala (diff)
The file was modified src/Pure/System/isabelle_system.scala (diff)
Changeset 75486:ba4ed9a50be3 by wenzelm:
more documentation;
The file was modified src/Pure/Admin/sync_repos.scala (diff)