Mercurial Mercurial > repos > isabelle / changelog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -30000 -10000 -3000 -1000 -300 -100 -50 -30 +30 +50 +100 +300 +1000 +3000 +10000 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Tue, 15 May 2018 17:07:41 +0200 more uniform output (cf. 450cefec7c11);
changeset
wenzelm [Tue, 15 May 2018 17:07:41 +0200] rev 68192
more uniform output (cf. 450cefec7c11);
Tue, 15 May 2018 21:19:22 +0200 removed duplicates
changeset
nipkow [Tue, 15 May 2018 21:19:22 +0200] rev 68191
removed duplicates
Tue, 15 May 2018 20:34:46 +0200 added lemmas
changeset
nipkow [Tue, 15 May 2018 20:34:46 +0200] rev 68190
added lemmas
Tue, 15 May 2018 13:57:39 +0200 tuned headers;
changeset
wenzelm [Tue, 15 May 2018 13:57:39 +0200] rev 68189
tuned headers;
Tue, 15 May 2018 11:33:43 +0200 move FuncSet back to HOL-Library (amending 493b818e8e10)
changeset
immler [Tue, 15 May 2018 11:33:43 +0200] rev 68188
move FuncSet back to HOL-Library (amending 493b818e8e10)
Tue, 15 May 2018 06:23:12 +0200 merged
changeset
nipkow [Tue, 15 May 2018 06:23:12 +0200] rev 68187
merged
Mon, 14 May 2018 20:27:39 +0200 cleaning up sorted
changeset
nipkow [Mon, 14 May 2018 20:27:39 +0200] rev 68186
cleaning up sorted
Mon, 14 May 2018 22:23:25 +0200 merged
changeset
wenzelm [Mon, 14 May 2018 22:23:25 +0200] rev 68185
merged
Mon, 14 May 2018 22:22:47 +0200 support for dynamic document output while editing;
changeset
wenzelm [Mon, 14 May 2018 22:22:47 +0200] rev 68184
support for dynamic document output while editing;
Mon, 14 May 2018 22:01:00 +0200 adjust position according to offset of command/exec id;
changeset
wenzelm [Mon, 14 May 2018 22:01:00 +0200] rev 68183
adjust position according to offset of command/exec id;
Mon, 14 May 2018 16:00:10 +0200 tuned signature (see Command.eval_state);
changeset
wenzelm [Mon, 14 May 2018 16:00:10 +0200] rev 68182
tuned signature (see Command.eval_state);
Mon, 14 May 2018 14:30:13 +0200 export generated document.tex, unless explicit document=false;
changeset
wenzelm [Mon, 14 May 2018 14:30:13 +0200] rev 68181
export generated document.tex, unless explicit document=false;
Mon, 14 May 2018 11:29:22 +0200 more general presentation hook, with document preparation as application;
changeset
wenzelm [Mon, 14 May 2018 11:29:22 +0200] rev 68180
more general presentation hook, with document preparation as application;
Mon, 14 May 2018 10:58:14 +0200 clarified signature: more explicit type "context" with full options;
changeset
wenzelm [Mon, 14 May 2018 10:58:14 +0200] rev 68179
clarified signature: more explicit type "context" with full options;
Mon, 14 May 2018 10:22:45 +0200 more explicit type Thy_Output.segment;
changeset
wenzelm [Mon, 14 May 2018 10:22:45 +0200] rev 68178
more explicit type Thy_Output.segment;
Mon, 14 May 2018 09:39:27 +0200 clarified signature;
changeset
wenzelm [Mon, 14 May 2018 09:39:27 +0200] rev 68177
clarified signature; more operations;
Mon, 14 May 2018 18:19:35 +0200 more sorted cleaning
changeset
nipkow [Mon, 14 May 2018 18:19:35 +0200] rev 68176
more sorted cleaning
Mon, 14 May 2018 15:37:26 +0200 cleaning up sorted
changeset
nipkow [Mon, 14 May 2018 15:37:26 +0200] rev 68175
cleaning up sorted
Sun, 13 May 2018 21:59:41 +0200 merged
changeset
wenzelm [Sun, 13 May 2018 21:59:41 +0200] rev 68174
merged
Sun, 13 May 2018 21:20:28 +0200 more uniform types vs. consts;
changeset
wenzelm [Sun, 13 May 2018 21:20:28 +0200] rev 68173
more uniform types vs. consts;
Sun, 13 May 2018 20:24:33 +0200 more concise information;
changeset
wenzelm [Sun, 13 May 2018 20:24:33 +0200] rev 68172
more concise information;
Sun, 13 May 2018 20:04:59 +0200 export foundational theory content in Scala;
changeset
wenzelm [Sun, 13 May 2018 20:04:59 +0200] rev 68171
export foundational theory content in Scala;
Sun, 13 May 2018 16:51:50 +0200 clarified markup;
changeset
wenzelm [Sun, 13 May 2018 16:51:50 +0200] rev 68170
clarified markup;
Sun, 13 May 2018 16:37:36 +0200 tuned signature;
changeset
wenzelm [Sun, 13 May 2018 16:37:36 +0200] rev 68169
tuned signature;
Sun, 13 May 2018 16:33:11 +0200 tuned -- use XZ.Cache;
changeset
wenzelm [Sun, 13 May 2018 16:33:11 +0200] rev 68168
tuned -- use XZ.Cache;
Sun, 13 May 2018 16:26:01 +0200 clarified implicit compression;
changeset
wenzelm [Sun, 13 May 2018 16:26:01 +0200] rev 68167
clarified implicit compression;
Sun, 13 May 2018 16:05:29 +0200 tuned -- use XZ.Cache;
changeset
wenzelm [Sun, 13 May 2018 16:05:29 +0200] rev 68166
tuned -- use XZ.Cache;
Sun, 13 May 2018 15:55:30 +0200 more exports;
changeset
wenzelm [Sun, 13 May 2018 15:55:30 +0200] rev 68165
more exports; misc tuning and clarification;
Sun, 13 May 2018 15:05:31 +0200 tuned;
changeset
wenzelm [Sun, 13 May 2018 15:05:31 +0200] rev 68164
tuned;
Sun, 13 May 2018 15:05:21 +0200 more operations;
changeset
wenzelm [Sun, 13 May 2018 15:05:21 +0200] rev 68163
more operations;
(0) -30000 -10000 -3000 -1000 -300 -100 -50 -30 +30 +50 +100 +300 +1000 +3000 +10000 tip
isabelle