Mercurial
Mercurial
>
repos
>
testboard
/ graph
summary
|
shortlog
|
changelog
| graph |
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-60
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.
generalized type
draft
default
tip
9 hours ago, by nipkow
merged
12 hours ago, by paulson
proper support for macOS/Rosetta: let "uname -m" report arm64 instead of x86_64;
15 hours ago, by wenzelm
clarified platforms;
15 hours ago, by wenzelm
Just one lemma
15 hours ago, by paulson
merged
18 hours ago, by wenzelm
proper jEdit.props (amending ff716ecb0805);
18 hours ago, by wenzelm
update to gmp-6.2.1, with support for arm64-darwin;
18 hours ago, by wenzelm
clarified platforms;
18 hours ago, by wenzelm
clarified options: implicitly support both x86_64 and arm64;
19 hours ago, by wenzelm
tuned whitespace;
20 hours ago, by wenzelm
centralized more lemmas
34 hours ago, by haftmann
avoid Fun.swap
34 hours ago, by haftmann
guide is out of focus
34 hours ago, by haftmann
proper build for fresh target directory (amending d9823224fcfe);
33 hours ago, by wenzelm
put more resources into jedit_build component;
33 hours ago, by wenzelm
more brackets (see f6b453449cc6);
35 hours ago, by wenzelm
more brackets;
37 hours ago, by wenzelm
proper settings variable, amending 6e85281177df;
38 hours ago, by wenzelm
merged
39 hours ago, by wenzelm
tuned proofs --- avoid z3, which is absent on arm64-linux;
39 hours ago, by wenzelm
proper condition: z3 could be absent, e.g. on arm64-linux;
41 hours ago, by wenzelm
build auxiliary jEdit component in Isabelle/Scala;
43 hours ago, by wenzelm
separate component for idea-icons.jar, from jedit_build (see also ff0e0bb81597);
3 days ago, by wenzelm
tuned message;
4 days ago, by wenzelm
clarified signature;
4 days ago, by wenzelm
tuned signature;
4 days ago, by wenzelm
more elementary swap
3 days ago, by haftmann
tuned comments;
4 days ago, by wenzelm
misc updates and clarification;
4 days ago, by wenzelm
clarified file name;
4 days ago, by wenzelm
merged
4 days ago, by wenzelm
updated to polyml-5.8.2 (official release);
4 days ago, by wenzelm
clarified default_platform_families (again);
4 days ago, by wenzelm
proper option for linux_arm;
4 days ago, by wenzelm
proper "$?";
4 days ago, by wenzelm
proper jvm_platform, notably for org.sqlite.lib.path;
5 days ago, by wenzelm
tuned message;
5 days ago, by wenzelm
support for platform family "linux_arm";
5 days ago, by wenzelm
clarified purge;
5 days ago, by wenzelm
removed junk;
5 days ago, by wenzelm
support local build_heaps;
5 days ago, by wenzelm
merged
6 days ago, by wenzelm
tuned --- rename = dist_name is sufficient;
6 days ago, by wenzelm
proper dist_name;
6 days ago, by wenzelm
clarified option -P: allow empty argument;
6 days ago, by wenzelm
support for existing release archive;
6 days ago, by wenzelm
tuned signature;
6 days ago, by wenzelm
clarified signature;
6 days ago, by wenzelm
more website content;
7 days ago, by wenzelm
misc tuning and clarification: more explicit types Release_Context, Release_Archive;
7 days ago, by wenzelm
tuned signature;
7 days ago, by wenzelm
tuned theory structure
6 days ago, by haftmann
more appropriate location
6 days ago, by haftmann
collected lemmas on permutations
7 days ago, by haftmann
A nice cardinality lemma
8 days ago, by paulson
tuned
8 days ago, by nipkow
more robust indentation: proper line context after insert;
9 days ago, by wenzelm
more robust: avoid sporadic crash of JEditBuffer.tokenMarker.getMainRuleSet().getModeName();
9 days ago, by wenzelm
support nested cases;
9 days ago, by wenzelm
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-60
tip