Mercurial
Mercurial
>
repos
>
isabelle
/ changelog
summary
|
shortlog
| changelog |
graph
|
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
(0)
-30000
-10000
-3000
-1000
-300
-100
-15
+15
+100
+300
+1000
+3000
tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
Sat, 05 Sep 2020 08:32:27 +0000
generalized
changeset
haftmann [Sat, 05 Sep 2020 08:32:27 +0000] rev 72239
generalized
Fri, 04 Sep 2020 17:32:42 +0100
a bit of tidying
changeset
paulson <lp15@cam.ac.uk> [Fri, 04 Sep 2020 17:32:42 +0100] rev 72238
a bit of tidying
Tue, 01 Sep 2020 22:01:42 +0100
merged
changeset
paulson [Tue, 01 Sep 2020 22:01:42 +0100] rev 72237
merged
Tue, 01 Sep 2020 22:01:27 +0100
de-applying
changeset
paulson <lp15@cam.ac.uk> [Tue, 01 Sep 2020 22:01:27 +0100] rev 72236
de-applying
Tue, 01 Sep 2020 18:03:17 +0200
discontinue export_document --- always enabled (reverting f0f83ce0badd);
changeset
wenzelm [Tue, 01 Sep 2020 18:03:17 +0200] rev 72235
discontinue export_document --- always enabled (reverting f0f83ce0badd);
Tue, 01 Sep 2020 17:51:20 +0200
unused (see also 7b318273a4aa);
changeset
wenzelm [Tue, 01 Sep 2020 17:51:20 +0200] rev 72234
unused (see also 7b318273a4aa);
Tue, 01 Sep 2020 16:57:54 +0200
tuned proofs;
changeset
wenzelm [Tue, 01 Sep 2020 16:57:54 +0200] rev 72233
tuned proofs;
Mon, 31 Aug 2020 22:05:05 +0200
proper use of SELECT_GOAL to confine distinct_subgoals_tac to original goal range (amending 366d39e95d3c);
changeset
wenzelm [Mon, 31 Aug 2020 22:05:05 +0200] rev 72232
proper use of SELECT_GOAL to confine distinct_subgoals_tac to original goal range (amending 366d39e95d3c);
Mon, 31 Aug 2020 17:18:47 +0100
a new lemma
changeset
paulson <lp15@cam.ac.uk> [Mon, 31 Aug 2020 17:18:47 +0100] rev 72231
a new lemma
Mon, 31 Aug 2020 16:48:31 +0200
more informative bibtex errors;
changeset
wenzelm [Mon, 31 Aug 2020 16:48:31 +0200] rev 72230
more informative bibtex errors;
Sun, 30 Aug 2020 21:21:04 +0100
merged
changeset
paulson [Sun, 30 Aug 2020 21:21:04 +0100] rev 72229
merged
Sun, 30 Aug 2020 19:45:46 +0100
minor tidying, also s->S and t->T
changeset
paulson <lp15@cam.ac.uk> [Sun, 30 Aug 2020 19:45:46 +0100] rev 72228
minor tidying, also s->S and t->T
Sun, 30 Aug 2020 15:15:28 +0000
more on conversions
changeset
haftmann [Sun, 30 Aug 2020 15:15:28 +0000] rev 72227
more on conversions
Sat, 29 Aug 2020 16:30:33 +0100
merged
changeset
paulson [Sat, 29 Aug 2020 16:30:33 +0100] rev 72226
merged
Sat, 29 Aug 2020 16:30:22 +0100
quite a bit of tidying
changeset
paulson <lp15@cam.ac.uk> [Sat, 29 Aug 2020 16:30:22 +0100] rev 72225
quite a bit of tidying
(0)
-30000
-10000
-3000
-1000
-300
-100
-15
+15
+100
+300
+1000
+3000
tip