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.
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
more strict;
19 months ago, by wenzelm
clarified signature;
19 months ago, by wenzelm
tuned;
19 months ago, by wenzelm
clarified signature;
19 months ago, by wenzelm
clarified signature --- avoid repeated open_database on server;
19 months ago, by wenzelm
renaming
19 months ago, by Peter Lammich
merged
19 months ago, by wenzelm
recovered document output from 6bc199a70bf9;
19 months ago, by wenzelm
clarified command_timings protocol;
19 months ago, by wenzelm
more robust: include reports from Thy_Output.present_thy/output_document;
19 months ago, by wenzelm
more complete report positions, notably for command 'back' (amending eca176f773e0);
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
unused;
19 months ago, by wenzelm
tuned;
19 months ago, by wenzelm
removed pointless case: messages should always carry proper position;
19 months ago, by wenzelm
clarified names;
19 months ago, by wenzelm
eliminated pointless transaction;
19 months ago, by wenzelm
tuned signature;
19 months ago, by wenzelm
clarified document_output vs. progress;
19 months ago, by wenzelm
clarified: more uniform;
19 months ago, by wenzelm
more robust;
19 months ago, by wenzelm
clarified signature and database layout;
19 months ago, by wenzelm
clarified messages;
19 months ago, by wenzelm
unused (see ac7ae5067783, 1c451e5c145f);
19 months ago, by wenzelm
unused;
19 months ago, by wenzelm
support for PIDE markup in batch build (inactive due to pide_reports=false);
19 months ago, by wenzelm
clarified signature;
19 months ago, by wenzelm
proper output of document sources (cf. d892f6d66402);
19 months ago, by wenzelm
proper parsing of TSTP HOL lines
19 months ago, by desharna
proper defn of a heap
19 months ago, by nipkow
merged
19 months ago, by paulson
cleanup of old proofs
19 months ago, by paulson
proper output directory (amending cc1347c8c804);
19 months ago, by wenzelm
updated to cvc4-1.8;
19 months ago, by wenzelm
clarified signature: prefer Database_Context;
19 months ago, by wenzelm
clarified modules;
19 months ago, by wenzelm
tuned NEWS;
19 months ago, by wenzelm
removed unused material;
19 months ago, by wenzelm
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-60
+60
+100
+300
+1000
tip