Mercurial
Mercurial
>
repos
>
isabelle
/ graph
summary
|
shortlog
|
changelog
| graph |
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-60
+60
+100
+300
+1000
tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
The revision graph only works with JavaScript-enabled browsers.
merged
10 months ago, by desharna
added opaque_combs and renamed hide_lams to opaque_lifting
10 months ago, by desharna
more robust treatment of empty string;
10 months ago, by wenzelm
invoke Scala compiler from Java, without external process;
10 months ago, by wenzelm
clarified version: Apple now counts like 11, 12, ...;
10 months ago, by wenzelm
Imported lots of material from Stirling_Formula/Gamma_Asymptotics
10 months ago, by paulson
merged
10 months ago, by paulson
arg for the nonstandard complex numbers
10 months ago, by paulson
merged
10 months ago, by paulson
converting arg to Arg
10 months ago, by paulson
just a bit of tidying up
10 months ago, by paulson
create jar in pure Java;
10 months ago, by wenzelm
tuned signature;
10 months ago, by wenzelm
clarified order;
10 months ago, by wenzelm
proper treatment of leading zero;
10 months ago, by wenzelm
support for jar resources;
10 months ago, by wenzelm
tuned whitespace;
10 months ago, by wenzelm
tuned signature;
10 months ago, by wenzelm
tuned;
10 months ago, by wenzelm
support for Isabelle/Scala in pure Java;
10 months ago, by wenzelm
tuned signature;
10 months ago, by wenzelm
clarified directories;
10 months ago, by wenzelm
clarified modules and signatures;
10 months ago, by wenzelm
back to scala-2.13.5: avoid problems with history in scala REPL;
10 months ago, by wenzelm
tuned imports;
10 months ago, by wenzelm
merged
10 months ago, by wenzelm
clarified Isabelle/Java/Scala project setup;
10 months ago, by wenzelm
support for Isabelle setup in pure Java;
10 months ago, by wenzelm
tuned: prefer Java interfaces;
10 months ago, by wenzelm
clarified package: towards stand-alone setup;
10 months ago, by wenzelm
tuned;
10 months ago, by wenzelm
more direct java.home, according to current jdk directory layout;
10 months ago, by wenzelm
tuned;
10 months ago, by wenzelm
clarified modules;
10 months ago, by wenzelm
tuned: prefer Java interfaces;
10 months ago, by wenzelm
tuned: prefer Java interfaces;
10 months ago, by wenzelm
clarified signature: prefer Java interfaces;
10 months ago, by wenzelm
clarified signature;
10 months ago, by wenzelm
clarified signature;
10 months ago, by wenzelm
proper usage;
11 months ago, by wenzelm
clarified modules;
11 months ago, by wenzelm
tuned;
11 months ago, by wenzelm
clarified modules (again): services require full Isabelle/Scala environment;
11 months ago, by wenzelm
clarified modules;
11 months ago, by wenzelm
updated to scala-2.13.6, with scala-xml 1.3.0 ~> 2.0.0;
11 months ago, by wenzelm
clarified environment (amending 9444489766a1);
11 months ago, by wenzelm
merged
10 months ago, by Andreas Lochbihler
move code setup from Cardinality to separate theory
10 months ago, by Andreas Lochbihler
A few useful lemmas about derivatives, colinearity and other topics
11 months ago, by paulson
proper Font_Subst.cache for paintScreenLineRange;
11 months ago, by wenzelm
more predictable result, avoid slightly odd "lastSubstFont" by jEdit;
11 months ago, by wenzelm
tuned;
11 months ago, by wenzelm
tuned signature;
11 months ago, by wenzelm
tuned;
11 months ago, by wenzelm
discontinue i21of4 (old Apple hardware);
11 months ago, by wenzelm
avoid deprecated operation;
11 months ago, by wenzelm
tuned;
11 months ago, by wenzelm
support for jEdit font substitution;
11 months ago, by wenzelm
more ambitious use of AttributedString (despite be825a69fc67, which was for much older Java);
11 months ago, by wenzelm
updated to flatlaf-1.2;
11 months ago, by wenzelm
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-60
+60
+100
+300
+1000
tip