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.
centralized more lemmas
13 months ago, by haftmann
avoid Fun.swap
13 months ago, by haftmann
guide is out of focus
13 months ago, by haftmann
proper build for fresh target directory (amending d9823224fcfe);
13 months ago, by wenzelm
put more resources into jedit_build component;
13 months ago, by wenzelm
more brackets (see f6b453449cc6);
13 months ago, by wenzelm
more brackets;
13 months ago, by wenzelm
proper settings variable, amending 6e85281177df;
13 months ago, by wenzelm
merged
13 months ago, by wenzelm
tuned proofs --- avoid z3, which is absent on arm64-linux;
13 months ago, by wenzelm
proper condition: z3 could be absent, e.g. on arm64-linux;
13 months ago, by wenzelm
build auxiliary jEdit component in Isabelle/Scala;
13 months ago, by wenzelm
separate component for idea-icons.jar, from jedit_build (see also ff0e0bb81597);
13 months ago, by wenzelm
tuned message;
13 months ago, by wenzelm
clarified signature;
13 months ago, by wenzelm
tuned signature;
13 months ago, by wenzelm
more elementary swap
13 months ago, by haftmann
tuned comments;
13 months ago, by wenzelm
misc updates and clarification;
13 months ago, by wenzelm
clarified file name;
13 months ago, by wenzelm
merged
13 months ago, by wenzelm
updated to polyml-5.8.2 (official release);
13 months ago, by wenzelm
clarified default_platform_families (again);
13 months ago, by wenzelm
proper option for linux_arm;
13 months ago, by wenzelm
proper "$?";
13 months ago, by wenzelm
proper jvm_platform, notably for org.sqlite.lib.path;
13 months ago, by wenzelm
tuned message;
13 months ago, by wenzelm
support for platform family "linux_arm";
13 months ago, by wenzelm
clarified purge;
13 months ago, by wenzelm
removed junk;
13 months ago, by wenzelm
support local build_heaps;
13 months ago, by wenzelm
merged
13 months ago, by wenzelm
tuned --- rename = dist_name is sufficient;
13 months ago, by wenzelm
proper dist_name;
13 months ago, by wenzelm
clarified option -P: allow empty argument;
13 months ago, by wenzelm
support for existing release archive;
13 months ago, by wenzelm
tuned signature;
13 months ago, by wenzelm
clarified signature;
13 months ago, by wenzelm
more website content;
13 months ago, by wenzelm
misc tuning and clarification: more explicit types Release_Context, Release_Archive;
13 months ago, by wenzelm
tuned signature;
13 months ago, by wenzelm
tuned theory structure
13 months ago, by haftmann
more appropriate location
13 months ago, by haftmann
collected lemmas on permutations
13 months ago, by haftmann
A nice cardinality lemma
13 months ago, by paulson
tuned
13 months ago, by nipkow
more robust indentation: proper line context after insert;
14 months ago, by wenzelm
more robust: avoid sporadic crash of JEditBuffer.tokenMarker.getMainRuleSet().getModeName();
14 months ago, by wenzelm
support nested cases;
14 months ago, by wenzelm
tuned;
14 months ago, by wenzelm
tuned;
14 months ago, by wenzelm
early definition of ML antiquotations;
14 months ago, by wenzelm
tuned;
14 months ago, by wenzelm
clarified signature: more operations;
14 months ago, by wenzelm
clarified signature: more operations;
14 months ago, by wenzelm
clarified signature;
14 months ago, by wenzelm
tuned signature;
14 months ago, by wenzelm
clarified command-line, following other build_XYZ tools;
14 months ago, by wenzelm
more recent OCaml and GHC stack: better support for Apple Silicon;
14 months ago, by wenzelm
merged
14 months ago, by wenzelm
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-60
+60
+100
+300
+1000
tip