2021-07-01 |
wenzelm |
support for Isabelle/Scala in pure Java;
|
changeset |
files
|
2021-07-01 |
wenzelm |
tuned signature;
|
changeset |
files
|
2021-07-01 |
wenzelm |
clarified directories;
|
changeset |
files
|
2021-07-01 |
wenzelm |
clarified modules and signatures;
|
changeset |
files
|
2021-07-01 |
wenzelm |
back to scala-2.13.5: avoid problems with history in scala REPL;
|
changeset |
files
|
2021-06-30 |
wenzelm |
tuned imports;
|
changeset |
files
|
2021-06-30 |
wenzelm |
merged
|
changeset |
files
|
2021-06-30 |
wenzelm |
clarified Isabelle/Java/Scala project setup;
|
changeset |
files
|
2021-06-30 |
wenzelm |
support for Isabelle setup in pure Java;
|
changeset |
files
|
2021-06-30 |
wenzelm |
tuned: prefer Java interfaces;
|
changeset |
files
|
2021-06-30 |
wenzelm |
clarified package: towards stand-alone setup;
|
changeset |
files
|
2021-06-30 |
wenzelm |
tuned;
|
changeset |
files
|
2021-06-30 |
wenzelm |
more direct java.home, according to current jdk directory layout;
|
changeset |
files
|
2021-06-30 |
wenzelm |
tuned;
|
changeset |
files
|
2021-06-30 |
wenzelm |
clarified modules;
|
changeset |
files
|
2021-06-30 |
wenzelm |
tuned: prefer Java interfaces;
|
changeset |
files
|
2021-06-30 |
wenzelm |
tuned: prefer Java interfaces;
|
changeset |
files
|
2021-06-30 |
wenzelm |
clarified signature: prefer Java interfaces;
|
changeset |
files
|
2021-06-28 |
wenzelm |
clarified signature;
|
changeset |
files
|
2021-06-28 |
wenzelm |
clarified signature;
|
changeset |
files
|
2021-06-28 |
wenzelm |
proper usage;
|
changeset |
files
|
2021-06-28 |
wenzelm |
clarified modules;
|
changeset |
files
|
2021-06-28 |
wenzelm |
tuned;
|
changeset |
files
|
2021-06-28 |
wenzelm |
clarified modules (again): services require full Isabelle/Scala environment;
|
changeset |
files
|
2021-06-28 |
wenzelm |
clarified modules;
|
changeset |
files
|
2021-06-28 |
wenzelm |
updated to scala-2.13.6, with scala-xml 1.3.0 ~> 2.0.0;
|
changeset |
files
|
2021-06-28 |
wenzelm |
clarified environment (amending 9444489766a1);
|
changeset |
files
|
2021-06-30 |
Andreas Lochbihler |
merged
|
changeset |
files
|
2021-06-28 |
Andreas Lochbihler |
move code setup from Cardinality to separate theory
|
changeset |
files
|
2021-06-28 |
paulson |
A few useful lemmas about derivatives, colinearity and other topics
|
changeset |
files
|
2021-06-26 |
wenzelm |
proper Font_Subst.cache for paintScreenLineRange;
|
changeset |
files
|
2021-06-26 |
wenzelm |
more predictable result, avoid slightly odd "lastSubstFont" by jEdit;
|
changeset |
files
|
2021-06-26 |
wenzelm |
tuned;
|
changeset |
files
|
2021-06-26 |
wenzelm |
tuned signature;
|
changeset |
files
|
2021-06-26 |
wenzelm |
tuned;
|
changeset |
files
|
2021-06-25 |
wenzelm |
discontinue i21of4 (old Apple hardware);
|
changeset |
files
|
2021-06-25 |
wenzelm |
avoid deprecated operation;
|
changeset |
files
|
2021-06-25 |
wenzelm |
tuned;
|
changeset |
files
|
2021-06-25 |
wenzelm |
support for jEdit font substitution;
|
changeset |
files
|
2021-06-25 |
wenzelm |
more ambitious use of AttributedString (despite be825a69fc67, which was for much older Java);
|
changeset |
files
|
2021-06-25 |
wenzelm |
updated to flatlaf-1.2;
|
changeset |
files
|
2021-06-25 |
wenzelm |
proper directories after reinstallation of lxbroy10;
|
changeset |
files
|
2021-06-25 |
wenzelm |
more visual emphasis on node status;
|
changeset |
files
|
2021-06-24 |
haftmann |
more word cleanup
|
changeset |
files
|
2021-06-23 |
haftmann |
merged
|
changeset |
files
|
2021-06-23 |
haftmann |
more default simp rules
|
changeset |
files
|
2021-06-23 |
haftmann |
some word streamlining
|
changeset |
files
|
2021-06-23 |
wenzelm |
avoid legacy domain informatik.tu-muenchen.de;
|
changeset |
files
|
2021-06-18 |
wenzelm |
tuned --- following hints by IntelliJ;
|
changeset |
files
|
2021-06-18 |
wenzelm |
tuned signature;
|
changeset |
files
|
2021-06-18 |
wenzelm |
tuned;
|
changeset |
files
|
2021-06-18 |
wenzelm |
tuned;
|
changeset |
files
|
2021-06-18 |
wenzelm |
tuned signature;
|
changeset |
files
|
2021-06-18 |
wenzelm |
tuned;
|
changeset |
files
|
2021-06-18 |
wenzelm |
tuned signature (see 2d6a489adb01);
|
changeset |
files
|
2021-06-17 |
desharna |
added support for TFX's and THF's $ite to Sledgehammer
|
changeset |
files
|
2021-06-17 |
desharna |
tuned Mirabelle documentation
|
changeset |
files
|
2021-06-17 |
desharna |
shortened long lines
|
changeset |
files
|
2021-06-17 |
desharna |
fixed typos
|
changeset |
files
|
2021-06-17 |
desharna |
updated Mirabelle documentation
|
changeset |
files
|