Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. arg for the nonstandard complex numbers
  3. merged
  4. converting arg to Arg
  5. just a bit of tidying up
  6. create jar in pure Java;
  7. tuned signature;
  8. clarified order;
  9. proper treatment of leading zero;
  10. support for jar resources;
  11. tuned whitespace;
  12. tuned signature;
  13. tuned;
  14. support for Isabelle/Scala in pure Java;
  15. tuned signature;
  16. clarified directories;
  17. clarified modules and signatures;
  18. back to scala-2.13.5: avoid problems with history in scala REPL;
Changeset 73927:5b5e015189a4 by paulson:
merged
Changeset 73926:5f71c16f0b37 by paulson _lp15@cam.ac.uk_:
arg for the nonstandard complex numbers
The file was modified src/HOL/Nonstandard_Analysis/NSComplex.thy (diff)
Changeset 73925:a0024852e699 by paulson:
merged
Changeset 73924:df893af36eb4 by paulson _lp15@cam.ac.uk_:
converting arg to Arg
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/Complex_Analysis/Complex_Residues.thy (diff)
Changeset 73923:e6e34e64163e by paulson _lp15@cam.ac.uk_:
just a bit of tidying up
The file was modified src/HOL/Series.thy (diff)
Changeset 73922:3556303bd385 by wenzelm:
create jar in pure Java;
The file was modified src/Tools/Setup/isabelle/setup/Build_Scala.java (diff)
The file was modified src/Tools/Setup/isabelle/setup/Environment.java (diff)
Changeset 73921:1f31ed84c467 by wenzelm:
tuned signature;
The file was modified src/Tools/Setup/isabelle/setup/Build_Scala.java (diff)
Changeset 73920:3b340b44451c by wenzelm:
clarified order;
The file was modified src/Tools/Setup/isabelle/setup/Build_Scala.java (diff)
Changeset 73919:429c1ffb5a36 by wenzelm:
proper treatment of leading zero;
The file was modified src/Tools/Setup/isabelle/setup/Build_Scala.java (diff)
Changeset 73918:07781cae0f71 by wenzelm:
support for jar resources;
The file was modified src/Tools/Setup/isabelle/setup/Build_Scala.java (diff)
Changeset 73917:b5d52a4d6fd9 by wenzelm:
tuned whitespace;
The file was modified src/Tools/Setup/isabelle/setup/Build_Scala.java (diff)
Changeset 73916:c6631069357b by wenzelm:
tuned signature;
The file was modified src/Tools/Setup/isabelle/setup/Build_Scala.java (diff)
Changeset 73915:1f532f2b2f60 by wenzelm:
tuned;
The file was modified src/Tools/Setup/isabelle/setup/Build_Scala.java (diff)
Changeset 73914:4be1047576e6 by wenzelm:
support for Isabelle/Scala in pure Java;
The file was addedsrc/Tools/Setup/isabelle/setup/Build_Scala.java
The file was modified Admin/lib/Tools/build_setup (diff)
Changeset 73913:631b61f06d0e by wenzelm:
tuned signature;
The file was modified src/Tools/Setup/isabelle/setup/Environment.java (diff)
Changeset 73912:ac1639349ecf by wenzelm:
clarified directories;
The file was addedsrc/Tools/Setup/isabelle/setup/Environment.java
The file was addedsrc/Tools/Setup/isabelle/setup/Setup.java
The file was modified Admin/lib/Tools/build_setup (diff)
The file was modified src/Pure/Tools/scala_project.scala (diff)
The file was removedsrc/Tools/Setup/src/META-INF/MANIFEST.MF
The file was removedsrc/Tools/Setup/src/isabelle/setup/Environment.java
The file was removedsrc/Tools/Setup/src/isabelle/setup/Setup.java
Changeset 73911:a8c5ee444991 by wenzelm:
clarified modules and signatures;
The file was modified Admin/components/components.sha1 (diff)
The file was modified Admin/components/main (diff)
The file was modified src/Pure/General/file.scala (diff)
The file was modified src/Pure/System/bash.scala (diff)
The file was modified src/Pure/System/isabelle_system.scala (diff)
The file was modified src/Tools/Setup/src/isabelle/setup/Environment.java (diff)
Changeset 73910:c678e58cf999 by wenzelm:
back to scala-2.13.5: avoid problems with history in scala REPL;
The file was modified Admin/components/main (diff)
The file was modified src/Pure/ROOT.scala (diff)