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
+3000
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.
tuned signature;
22 months ago, by wenzelm
provide Isabelle/Electron test;
22 months ago, by wenzelm
tuned text;
22 months ago, by wenzelm
tuned text;
22 months ago, by wenzelm
Tidied up some super-messy proofs
23 months ago, by paulson
Added a couple of obvious simprules
23 months ago, by paulson
added lemma
23 months ago, by nipkow
tuned signature: avoid problems with scala3;
23 months ago, by wenzelm
proper indentation;
23 months ago, by wenzelm
merged
23 months ago, by wenzelm
clarified management of interpreter threads: more generic;
23 months ago, by wenzelm
clarified signature;
23 months ago, by wenzelm
clarified signature;
23 months ago, by wenzelm
clarified signature, based on hints by IntelliJ IDEA;
23 months ago, by wenzelm
tuned signature;
23 months ago, by wenzelm
more robust: avoid partiality;
23 months ago, by wenzelm
tuned;
23 months ago, by wenzelm
clarified signature;
23 months ago, by wenzelm
clarified signature;
23 months ago, by wenzelm
tuned --- avoid warnings in scala3;
23 months ago, by wenzelm
clarified signature;
23 months ago, by wenzelm
pass new option only to new version of E
23 months ago, by blanchet
merged
23 months ago, by desharna
reused slice in Sledgehammer's minimizer
24 months ago, by desharna
merged
23 months ago, by wenzelm
revert 2c861b196d52: still required in HOL/Library/Code_Test.thy;
23 months ago, by wenzelm
merged
23 months ago, by wenzelm
tuned --- avoid warnings in scala3;
23 months ago, by wenzelm
tuned --- avoid redundant patterns;
23 months ago, by wenzelm
avoid pattern-match warnings, notably in scala3;
23 months ago, by wenzelm
proper type conversion for scala-2.13: problem was unnoticed since ca17e9ebfdf1;
23 months ago, by wenzelm
tuned --- accomodate scala3;
23 months ago, by wenzelm
proper type conversion for scala-2.13: problem was unnoticed since ca17e9ebfdf1;
24 months ago, by wenzelm
back to more ambitious scala-3.1.1 (see 8b7497992301);
24 months ago, by wenzelm
tuned --- fewer warnings in scala3;
24 months ago, by wenzelm
tuned -- avoid warnings for scala3;
24 months ago, by wenzelm
tuned signature -- avoid warnings for scala3;
24 months ago, by wenzelm
removed unused flag (see 25c6423ec538);
24 months ago, by wenzelm
clarified versions;
24 months ago, by wenzelm
documentation on diagnostic devices for code generation
24 months ago, by haftmann
more correct language
24 months ago, by haftmann
enable an E option suggested by Petar Vukmirovic
24 months ago, by blanchet
used HTTPS for SystemOnTPTP
24 months ago, by desharna
moved from AFP to distribution
24 months ago, by haftmann
avoid static access to sun.tools.jconsole: more robust compilation (notably with scala3), but less robust invocation;
24 months ago, by wenzelm
more operations;
24 months ago, by wenzelm
clarified signature;
24 months ago, by wenzelm
tuned: avoid ambiguity in scala3;
24 months ago, by wenzelm
clarified signature: avoid ambiguity in scala3;
24 months ago, by wenzelm
clarified signature: avoid ambiguity in scala3;
24 months ago, by wenzelm
more robust types (for scala3);
24 months ago, by wenzelm
tuned for scala3;
24 months ago, by wenzelm
proper indentation (relevant for scala3);
24 months ago, by wenzelm
adjusted printing of type annotations to accomodate Scala 3
24 months ago, by haftmann
two new examples
24 months ago, by paulson
pass constructor arity as part of case certficiate
24 months ago, by haftmann
tuned whitespace in generated code
24 months ago, by haftmann
tuned, centralizing case distinction at one place at the cost of modest duplication
24 months ago, by haftmann
clarified formatting, for the sake of scala3;
24 months ago, by wenzelm
merged
24 months ago, by wenzelm
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-60
+60
+100
+300
+1000
+3000
tip