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 parser;
19 months ago, by wenzelm
tuned signature;
19 months ago, by wenzelm
proper positions for inlined command messages, e.g. for completion within theory header;
19 months ago, by wenzelm
tuned signature;
19 months ago, by wenzelm
clarified modules;
19 months ago, by wenzelm
tuned signature;
19 months ago, by wenzelm
clarified checks (see f34f5c057c9e);
19 months ago, by wenzelm
clarified signature;
19 months ago, by wenzelm
tuned comments;
19 months ago, by wenzelm
tuned;
19 months ago, by wenzelm
typo
19 months ago, by haftmann
more on signed division
19 months ago, by haftmann
clarified files;
19 months ago, by wenzelm
tuned whitespace;
19 months ago, by wenzelm
clarified parsing vs. semantic errors;
19 months ago, by wenzelm
clarified signature;
19 months ago, by wenzelm
added document antiquotation @{tool};
19 months ago, by wenzelm
more robust isabelle_scala_files;
19 months ago, by wenzelm
avoid conflicting base names;
19 months ago, by wenzelm
clarified protocol: Doc.check at run-time via Scala function;
19 months ago, by wenzelm
more antiquotations (reverting 4df341249348);
19 months ago, by wenzelm
tuned;
19 months ago, by wenzelm
tuned signature --- more explicit types;
19 months ago, by wenzelm
more positions;
19 months ago, by wenzelm
support for Scala compile-time positions;
19 months ago, by wenzelm
clarified modules;
19 months ago, by wenzelm
more robust (amending a4d7da18ac5c);
19 months ago, by wenzelm
merged
19 months ago, by paulson
merged
19 months ago, by paulson
More removal of apply
19 months ago, by paulson
merged
19 months ago, by wenzelm
more flexible syntax for theory load commands via Isabelle/Scala;
19 months ago, by wenzelm
clarified theory keywords: loaded_files are determined statically in Scala, but ML needs to do it semantically;
19 months ago, by wenzelm
proper structural equality;
19 months ago, by wenzelm
more explicit types;
19 months ago, by wenzelm
unused (see 7634d33c1a79);
19 months ago, by wenzelm
clarified signature;
19 months ago, by wenzelm
clarified modules;
19 months ago, by wenzelm
clarified file names;
19 months ago, by wenzelm
tuned signature;
19 months ago, by wenzelm
refined syntax for bundle mixins for locale and class specifications
19 months ago, by haftmann
store timings for used_theories in canonical order, with reconstructed store.read_theories;
19 months ago, by wenzelm
merged
19 months ago, by paulson
merged
19 months ago, by paulson
Stepan Holub's stronger version of comm_append_are_replicate, and a de-applied Word.thy
19 months ago, by paulson
merged
19 months ago, by nipkow
tuned
19 months ago, by nipkow
removed assumptions in lemma (Stepan Holub)
19 months ago, by nipkow
merged
19 months ago, by wenzelm
more exports from rendering;
19 months ago, by wenzelm
clarified signature;
19 months ago, by wenzelm
clarified options: batch-build has pide_reports disabled by default (requires significant resources);
19 months ago, by wenzelm
tuned;
19 months ago, by wenzelm
proper return code for more errors (amending d892f6d66402);
19 months ago, by wenzelm
more exports, as in "isabelle dump";
19 months ago, by wenzelm
tuned;
19 months ago, by wenzelm
clarified signature;
19 months ago, by wenzelm
clarified signature: initial markup is_empty, not init_markup;
19 months ago, by wenzelm
clarified signature: prefer high-level Snapshot over low-level Command.State;
19 months ago, by wenzelm
tuned;
19 months ago, by wenzelm
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-60
+60
+100
+300
+1000
tip