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.
clarified signature -- avoid odd warning about scala/bug#6675;
12 months ago, by wenzelm
tuned;
12 months ago, by wenzelm
tuned;
12 months ago, by wenzelm
clarified signature;
12 months ago, by wenzelm
proper syntax of Scala 3;
12 months ago, by wenzelm
enforce syntax of Scala 3;
12 months ago, by wenzelm
things need to be ugly
12 months ago, by paulson
merged
12 months ago, by paulson
sorted as an abbreviation
12 months ago, by paulson
mere abbreviation for logical alias
12 months ago, by haftmann
avoid unexpected output+behaviour when CDPATH is set
12 months ago, by kleing
recover some Linux test, using old macbroy2 as i21of4 (Ubuntu 20.04);
12 months ago, by wenzelm
avoid perl;
12 months ago, by wenzelm
tuned signature --- following hints by IntelliJ IDEA;
12 months ago, by wenzelm
ignore session build timeout, notably in AFP;
12 months ago, by wenzelm
check timeout_ignored as in ML, before applying timeout_scale;
12 months ago, by wenzelm
merged
12 months ago, by wenzelm
proper build of required session images vs. build with Mirabelle presentation;
12 months ago, by wenzelm
reactive "sledgehammer";
12 months ago, by wenzelm
reactive "sledgehammer_filter": statically correct, but untested (no proof_file);
12 months ago, by wenzelm
clarified command-line;
12 months ago, by wenzelm
clarified signature;
12 months ago, by wenzelm
clarified signature;
12 months ago, by wenzelm
clarified log content;
12 months ago, by wenzelm
reimplemented Mirabelle as Isabelle/ML presentation hook + Isabelle/Scala tool, but sledgehammer is still inactive;
12 months ago, by wenzelm
tuned;
12 months ago, by wenzelm
unused;
12 months ago, by wenzelm
unused (see 8ffc607c345d);
12 months ago, by wenzelm
clarified signature: provide access to previous state;
12 months ago, by wenzelm
clarified signature (see Scala version);
12 months ago, by wenzelm
tuned signature;
12 months ago, by wenzelm
avoid duplicate loading of ML file;
12 months ago, by wenzelm
strict_sorted now an abbreviation
12 months ago, by paulson
explicit type class operations for type-specific implementations
12 months ago, by haftmann
obsolete
12 months ago, by haftmann
added lemmas map_ran_Cons_sel and (length|map_fst)_map_ran
12 months ago, by desharna
merged
12 months ago, by nipkow
generalized type
12 months ago, by nipkow
basic setup of Isabelle setup tool --- pure Java, no dependencies;
12 months ago, by wenzelm
merged
12 months ago, by wenzelm
guess package more directly;
12 months ago, by wenzelm
merged
12 months ago, by paulson
Just one lemma
12 months ago, by paulson
proper support for macOS/Rosetta: let "uname -m" report arm64 instead of x86_64;
12 months ago, by wenzelm
clarified platforms;
12 months ago, by wenzelm
merged
12 months ago, by wenzelm
proper jEdit.props (amending ff716ecb0805);
12 months ago, by wenzelm
update to gmp-6.2.1, with support for arm64-darwin;
12 months ago, by wenzelm
clarified platforms;
12 months ago, by wenzelm
clarified options: implicitly support both x86_64 and arm64;
12 months ago, by wenzelm
tuned whitespace;
12 months ago, by wenzelm
centralized more lemmas
12 months ago, by haftmann
avoid Fun.swap
12 months ago, by haftmann
guide is out of focus
12 months ago, by haftmann
proper build for fresh target directory (amending d9823224fcfe);
12 months ago, by wenzelm
put more resources into jedit_build component;
12 months ago, by wenzelm
more brackets (see f6b453449cc6);
12 months ago, by wenzelm
more brackets;
12 months ago, by wenzelm
proper settings variable, amending 6e85281177df;
12 months ago, by wenzelm
merged
12 months ago, by wenzelm
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-60
+60
+100
+300
+1000
tip