Mercurial
Mercurial
>
repos
>
isabelle
/ changelog
summary
|
shortlog
| changelog |
graph
|
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
(0)
-30000
-10000
-3000
-1000
-300
-100
-30
-10
-6
+6
+10
+30
+100
+300
+1000
+3000
+10000
tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
Fri, 08 May 2015 16:14:02 +0200
clarified tooltip;
changeset
wenzelm [Fri, 08 May 2015 16:14:02 +0200] rev 60278
clarified tooltip;
Fri, 08 May 2015 15:32:27 +0200
sledgehammer panel operation re-uses more of the Isar command, notably Try0.silence_methods to avoid spurious warnings intruding the document view;
changeset
wenzelm [Fri, 08 May 2015 15:32:27 +0200] rev 60277
sledgehammer panel operation re-uses more of the Isar command, notably Try0.silence_methods to avoid spurious warnings intruding the document view;
Fri, 08 May 2015 15:07:27 +0200
more standard command setup;
changeset
wenzelm [Fri, 08 May 2015 15:07:27 +0200] rev 60276
more standard command setup;
Fri, 08 May 2015 14:40:34 +0200
silence local Unify.trace_bound as well: existing tools either refer to Proof.context or theory;
changeset
wenzelm [Fri, 08 May 2015 14:40:34 +0200] rev 60275
silence local Unify.trace_bound as well: existing tools either refer to Proof.context or theory;
Fri, 08 May 2015 10:19:44 +0200
more conservative Document_Model.init: avoid Document.Node.Clear due to change of token marker (e.g. due to change of jEdit mode properties);
changeset
wenzelm [Fri, 08 May 2015 10:19:44 +0200] rev 60274
more conservative Document_Model.init: avoid Document.Node.Clear due to change of token marker (e.g. due to change of jEdit mode properties); clarified Isabelle.buffer_token_marker;
Thu, 07 May 2015 22:12:05 +0200
use display_graph_old for locale_deps, to show a bit more than nothing for cyclic graphs;
changeset
wenzelm [Thu, 07 May 2015 22:12:05 +0200] rev 60273
use display_graph_old for locale_deps, to show a bit more than nothing for cyclic graphs;
(0)
-30000
-10000
-3000
-1000
-300
-100
-30
-10
-6
+6
+10
+30
+100
+300
+1000
+3000
+10000
tip