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
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;
3 weeks ago, by wenzelm
more direct sledgehammer "locate" operation via official Query_Operation interface;
3 weeks ago, by wenzelm
proper pattern matching for Notification0;
3 weeks ago, by wenzelm
clarified signature and protocol (again);
3 weeks ago, by wenzelm
discontinue pointless "init" flag;
3 weeks ago, by wenzelm
tuned;
3 weeks ago, by wenzelm
tuned;
3 weeks ago, by wenzelm
clarified signature: more uniform names;
3 weeks ago, by wenzelm
obsolete;
3 weeks ago, by wenzelm
clarified signature: more uniform names;
3 weeks ago, by wenzelm
removed attempts at error detection: this is the job of sledgehammer in Isabelle/ML;
3 weeks ago, by wenzelm
discontinue pointless "init" flag;
3 weeks ago, by wenzelm
more direct treatment of "purpose";
3 weeks ago, by wenzelm
tuned whitespace;
3 weeks ago, by wenzelm
tuned comments;
3 weeks ago, by wenzelm
tuned quotes: follow Isabelle majority style, instead of JS/TS;
3 weeks ago, by wenzelm
dismantle redundant sledgehammer history in Isabelle/Scala, which does not quite work --- and is already done via vscode.setState / vscode.getState;
3 weeks ago, by wenzelm
tuned: avoid camel-case;
3 weeks ago, by wenzelm
tuned quotes: follow Isabelle majority style, instead of JS/TS;
3 weeks ago, by wenzelm
proper message test (amending 9252ebcd1fb5);
3 weeks ago, by wenzelm
tuned comments;
3 weeks ago, by wenzelm
tuned whitespace;
3 weeks ago, by wenzelm
tuned names: avoid camel-case;
3 weeks ago, by wenzelm
tuned whitespace;
3 weeks ago, by wenzelm
unused;
3 weeks ago, by wenzelm
tuned: avoid camel-case;
3 weeks ago, by wenzelm
tuned titles;
3 weeks ago, by wenzelm
tuned whitespace;
3 weeks ago, by wenzelm
tuned names: avoid camel-case;
3 weeks ago, by wenzelm
more accurate Doc_Entry: print_html like Isabelle/jEdit, proper platform_path;
3 weeks ago, by wenzelm
tuned signature: more operations;
3 weeks ago, by wenzelm
tuned whitespace;
3 weeks ago, by wenzelm
clarified names;
3 weeks ago, by wenzelm
misc tuning;
3 weeks ago, by wenzelm
tuned output;
3 weeks ago, by wenzelm
tuned: avoid camel-case;
3 weeks ago, by wenzelm
tuned;
3 weeks ago, by wenzelm
proper ml_settings, following Isabelle/jEdit;
3 weeks ago, by wenzelm
misc tuning and clarification;
3 weeks ago, by wenzelm
clarified signature: more explicit types;
3 weeks ago, by wenzelm
tuned whitespace and comments;
3 weeks ago, by wenzelm
tuned quotes: follow Isabelle majority style, instead of JS/TS;
3 weeks ago, by wenzelm
tuned whitespace and comments;
3 weeks ago, by wenzelm
tuned names: avoid camel-case;
3 weeks ago, by wenzelm
clarified protocol: avoid camel-case;
3 weeks ago, by wenzelm
tuned;
3 weeks ago, by wenzelm
tuned: prefer high-level operation;
3 weeks ago, by wenzelm
tuned whitespace;
3 weeks ago, by wenzelm
avoid literal Unicode symbols, which are in danger of being recoded;
3 weeks ago, by wenzelm
tuned comments;
3 weeks ago, by wenzelm
tuned messages;
3 weeks ago, by wenzelm
clarified separator;
3 weeks ago, by wenzelm
avoid somewhat adhoc change to query_operation.scala (see also 486e094b676c);
3 weeks ago, by wenzelm
clarified names;
3 weeks ago, by wenzelm
various improvements of Isabelle/VSCode: original changeset by Diana Korchmar, LMU München;
3 weeks ago, by wenzelm
NEWS
2 weeks ago, by haftmann
NEWS
2 weeks ago, by haftmann
refined interval implementation also covering word types
2 weeks ago, by haftmann
more efficient naive prime test
2 weeks ago, by haftmann
more efficient sqrt computation
2 weeks ago, by haftmann
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-60
+60
+100
tip