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
13 months ago, by wenzelm
proper build of required session images vs. build with Mirabelle presentation;
13 months ago, by wenzelm
reactive "sledgehammer";
13 months ago, by wenzelm
reactive "sledgehammer_filter": statically correct, but untested (no proof_file);
13 months ago, by wenzelm
clarified command-line;
13 months ago, by wenzelm
clarified signature;
13 months ago, by wenzelm
clarified signature;
13 months ago, by wenzelm
clarified log content;
13 months ago, by wenzelm
reimplemented Mirabelle as Isabelle/ML presentation hook + Isabelle/Scala tool, but sledgehammer is still inactive;
13 months ago, by wenzelm
tuned;
13 months ago, by wenzelm
unused;
13 months ago, by wenzelm
unused (see 8ffc607c345d);
13 months ago, by wenzelm
clarified signature: provide access to previous state;
13 months ago, by wenzelm
clarified signature (see Scala version);
13 months ago, by wenzelm
tuned signature;
13 months ago, by wenzelm
avoid duplicate loading of ML file;
13 months ago, by wenzelm
strict_sorted now an abbreviation
13 months ago, by paulson
explicit type class operations for type-specific implementations
13 months ago, by haftmann
obsolete
13 months ago, by haftmann
added lemmas map_ran_Cons_sel and (length|map_fst)_map_ran
13 months ago, by desharna
merged
13 months ago, by nipkow
generalized type
13 months ago, by nipkow
basic setup of Isabelle setup tool --- pure Java, no dependencies;
13 months ago, by wenzelm
merged
13 months ago, by wenzelm
guess package more directly;
13 months ago, by wenzelm
merged
13 months ago, by paulson
Just one lemma
13 months ago, by paulson
proper support for macOS/Rosetta: let "uname -m" report arm64 instead of x86_64;
13 months ago, by wenzelm
clarified platforms;
13 months ago, by wenzelm
merged
13 months ago, by wenzelm
proper jEdit.props (amending ff716ecb0805);
13 months ago, by wenzelm
update to gmp-6.2.1, with support for arm64-darwin;
13 months ago, by wenzelm
clarified platforms;
13 months ago, by wenzelm
clarified options: implicitly support both x86_64 and arm64;
13 months ago, by wenzelm
tuned whitespace;
13 months ago, by wenzelm
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
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-60
+60
+100
+300
+1000
tip