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.
unused;
19 months ago, by wenzelm
clarified modules;
19 months ago, by wenzelm
clarified signature;
19 months ago, by wenzelm
clarified signature: more explicit types;
19 months ago, by wenzelm
clarified signature --- avoid dependent types;
19 months ago, by wenzelm
tuned whitespace;
19 months ago, by wenzelm
clarified signature: avoid public representation;
19 months ago, by wenzelm
tuned signature;
19 months ago, by wenzelm
clarified signature;
19 months ago, by wenzelm
unused;
19 months ago, by wenzelm
more accurate treatment of option "editor_output_state", e.g. when changed via Isabelle/jEdit Plugin Options panel;
19 months ago, by wenzelm
clarified signature: more explicit types;
19 months ago, by wenzelm
tuned whitespace;
19 months ago, by wenzelm
tuned, following 298707451ec2;
19 months ago, by wenzelm
unused;
19 months ago, by wenzelm
tuned, following hints by IntelliJ IDEA;
19 months ago, by wenzelm
clarified signature: more explicit types;
19 months ago, by wenzelm
tuned whitespace;
19 months ago, by wenzelm
tuned, following hints by IntelliJ IDEA;
19 months ago, by wenzelm
merged
19 months ago, by wenzelm
more GUI elements;
19 months ago, by wenzelm
clarified signature;
19 months ago, by wenzelm
tuned;
19 months ago, by wenzelm
tuned, following hints by IntelliJ IDEA;
19 months ago, by wenzelm
clarified signature --- more operations;
19 months ago, by wenzelm
clarified signature --- simplified types;
19 months ago, by wenzelm
tuned signature;
19 months ago, by wenzelm
proper toString for Content_XML, which is not covered by trait Content;
19 months ago, by wenzelm
clarified output;
19 months ago, by wenzelm
clarified signature: support different document_session, e.g. within running PIDE session;
19 months ago, by wenzelm
unused (despite cf52379c0776);
19 months ago, by wenzelm
tuned, following hints by IntelliJ IDEA;
19 months ago, by wenzelm
unused (see 696819fe2424);
19 months ago, by wenzelm
clarified signature;
19 months ago, by wenzelm
basic setup for document build panel;
19 months ago, by wenzelm
tuned, following hints by IntelliJ IDEA;
19 months ago, by wenzelm
tuned, following hints by IntelliJ IDEA;
19 months ago, by wenzelm
tuned;
19 months ago, by wenzelm
clarified signature;
19 months ago, by wenzelm
tuned, following hints by IntelliJ IDEA;
19 months ago, by wenzelm
tuned, following hints by IntelliJ IDEA;
19 months ago, by wenzelm
tuned signature;
19 months ago, by wenzelm
tuned signature;
19 months ago, by wenzelm
tuned signature, following hints by IntelliJ IDEA;
19 months ago, by wenzelm
added support for cvc5 (whose interface is almost identical to CVC4)
19 months ago, by blanchet
removing the [simp] attribute breaks too many AFP entries severely
19 months ago, by nipkow
nlists is picked up automatically but conflicts with the RBT setup
19 months ago, by nipkow
new lemma
19 months ago, by nipkow
merged
19 months ago, by nipkow
New theory of fixed length lists
19 months ago, by nipkow
Further streamlining of quick-and-dirty evaluation.
19 months ago, by haftmann
more correct approximation (contributed by Achim Brucker)
20 months ago, by Achim D. Brucker
Added tag Isabelle2022-RC0 for changeset b42e20adaeed
19 months ago, by wenzelm
proper Java/Scala compiler classpath for standalone application (see also make_isabelle_app() in Pure/Admin/build_release.scala);
19 months ago, by wenzelm
clarified message;
19 months ago, by wenzelm
provide naproche-20220808 (inactive);
19 months ago, by wenzelm
more robust data representation: notably for Store.read_session_timing with database_server;
19 months ago, by wenzelm
tuned message;
19 months ago, by wenzelm
afford default cache policy, despite 6a29709906c6;
19 months ago, by wenzelm
tuned signature;
19 months ago, by wenzelm
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-60
+60
+100
+300
+1000
+3000
tip