2021-07-04 paulson Imported lots of material from Stirling_Formula/Gamma_Asymptotics
2021-07-02 paulson merged
2021-07-02 paulson arg for the nonstandard complex numbers
2021-07-02 paulson merged
2021-07-02 paulson converting arg to Arg
2021-06-30 paulson just a bit of tidying up
2021-07-02 wenzelm create jar in pure Java;
2021-07-02 wenzelm tuned signature;
2021-07-02 wenzelm clarified order;
2021-07-02 wenzelm proper treatment of leading zero;
2021-07-02 wenzelm support for jar resources;
2021-07-02 wenzelm tuned whitespace;
2021-07-02 wenzelm tuned signature;
2021-07-02 wenzelm tuned;
2021-07-01 wenzelm support for Isabelle/Scala in pure Java;
2021-07-01 wenzelm tuned signature;
2021-07-01 wenzelm clarified directories;
2021-07-01 wenzelm clarified modules and signatures;
2021-07-01 wenzelm back to scala-2.13.5: avoid problems with history in scala REPL;
2021-06-30 wenzelm tuned imports;
2021-06-30 wenzelm merged
2021-06-30 wenzelm clarified Isabelle/Java/Scala project setup;
2021-06-30 wenzelm support for Isabelle setup in pure Java;
2021-06-30 wenzelm tuned: prefer Java interfaces;
2021-06-30 wenzelm clarified package: towards stand-alone setup;
2021-06-30 wenzelm tuned;
2021-06-30 wenzelm more direct java.home, according to current jdk directory layout;
2021-06-30 wenzelm tuned;
Loading...
(0) -30000 -10000 -3000 -1000 -300 -100 -50 -28 +28 +50 +100 +300 +1000 +3000 tip