Mercurial Mercurial > repos > isabelle / annotate
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
.hgtags
author Manuel Eberl <eberlm@in.tum.de>
Tue, 21 Jan 2020 11:02:27 +0100
changeset 71398 e0237f2eb49d
parent 70429 7f7f149d6843
child 71445 e596ea18bf3e
permissions -rw-r--r--
Removed multiplicativity assumption from normalization_semidom
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
28119
bdf7d5f4d5b0 update tags
convert-repo
parents:
diff changeset 
     1
 
0140ff702b232f48cb4c7414dca663e41acad213 Isabelle94-3
bdf7d5f4d5b0 update tags
convert-repo
parents:
diff changeset 
     2
 
0a604b2fc2b1df524a3cf81f5a7b2255b19fda92 Isabelle99
bdf7d5f4d5b0 update tags
convert-repo
parents:
diff changeset 
     3
 
0b268cff9344268b18ab5241b5c45e3374f107cd Isabelle94-8
bdf7d5f4d5b0 update tags
convert-repo
parents:
diff changeset 
     4
 
213dcc39358faefae737f8e7d2eea67658e9eedf Isabelle2003
bdf7d5f4d5b0 update tags
convert-repo
parents:
diff changeset 
     5
 
23ceb1dc9755a8ad6f0230697d0cc52f54102bf4 Isabelle94-5
bdf7d5f4d5b0 update tags
convert-repo
parents:
diff changeset 
     6
 
2cf13a72e1704d0094d21e7dc68e7271a282ed31 Isabelle2008
bdf7d5f4d5b0 update tags
convert-repo
parents:
diff changeset 
     7
 
33b9b5da3e6faee6ca6969d17e79634d49e5b46a Isabelle94-1
bdf7d5f4d5b0 update tags
convert-repo
parents:
diff changeset 
     8
 
3e47692e3a3e4c695f6345b3534ed0c36817fd40 Isabelle99-2
bdf7d5f4d5b0 update tags
convert-repo
parents:
diff changeset 
     9
 
50be659d4222b68f95e9c966097e59091f26acf3 Isabelle99-1
bdf7d5f4d5b0 update tags
convert-repo
parents:
diff changeset 
    10
 
67692db44c7099ad8789f088003213aeb095e914 Isabelle94-2
bdf7d5f4d5b0 update tags
convert-repo
parents:
diff changeset 
    11
 
6a422b22ba02f6275fa3ac5f9df1428705552d50 Isabelle98-1
bdf7d5f4d5b0 update tags
convert-repo
parents:
diff changeset 
    12
 
6f79698f294df13edfba9c790df18a545570c81e Isabelle2007
bdf7d5f4d5b0 update tags
convert-repo
parents:
diff changeset 
    13
 
7d6b0241afabbf87d4d94a412a1c1ebbba71c088 Isabelle94-4
bdf7d5f4d5b0 update tags
convert-repo
parents:
diff changeset 
    14
 
805fa01ac2337790fd555991f1231d3ef6b2e3fb Isabelle2004_0
bdf7d5f4d5b0 update tags
convert-repo
parents:
diff changeset 
    15
 
831a9a7ab9f352c65b0f449630b428304c89362b Isabelle93
bdf7d5f4d5b0 update tags
convert-repo
parents:
diff changeset 
    16
 
836950047d8508e3c200edc1e07a46c2c5e09cd7 Isabelle94-6
bdf7d5f4d5b0 update tags
convert-repo
parents:
diff changeset 
    17
 
8d42a7bccf0b0880dff8e46c71c4811be8b2e7ec Isabelle94-7
bdf7d5f4d5b0 update tags
convert-repo
parents:
diff changeset 
    18
 
be6b5edbca9ffeb3bace5f4bac5c6478bf8cbdb2 Isabelle98
bdf7d5f4d5b0 update tags
convert-repo
parents:
diff changeset 
    19
 
ce180e5b7fa056003791fff19cc5cefba193b135 Isabelle2002
bdf7d5f4d5b0 update tags
convert-repo
parents:
diff changeset 
    20
 
f9eb0f819642b2ad77119dbf8935bf13248f205d Isabelle94
bdf7d5f4d5b0 update tags
convert-repo
parents:
diff changeset 
    21
 
fc385ce6187d5ad2cef90f1e6240cc691e02d827 Isabelle2005
30903
0b960d9c5317 Added tag Isabelle2009 for changeset 5c8618f95d24
wenzelm
parents: 30900
diff changeset 
    22
 
5c8618f95d240046bbbb609b643c06704888f587 Isabelle2009
33931
832169728276 Added tag Isabelle2009-1 for changeset 6a973bd43949
wenzelm
parents: 33925
diff changeset 
    23
 
6a973bd4394996c31f638e5c59ea6bb953335c9a Isabelle2009-1
37381
5a8981a7acbc Added tag Isabelle2009-2 for changeset 35815ce9218a
wenzelm
parents: 37377
diff changeset 
    24
 
35815ce9218a8822a50f5d80b96aa8d1970ec35d Isabelle2009-2
41649
57181bb1dfe0 Added tag Isabelle2011 for changeset 6d736d983d5c
wenzelm
parents: 41638
diff changeset 
    25
 
6d736d983d5cfec4a6c6fba174db2cd93493a96b Isabelle2011
45108
d53036e77ef3 Added tag Isabelle2011-1 for changeset 76fef3e57004
wenzelm
parents: 45104
diff changeset 
    26
 
76fef3e570043b84a32716b5633085d2fb215525 Isabelle2011-1
47885
b987aa8b9310 Added tag Isabelle2012 for changeset 21c42b095c84
wenzelm
parents: 47883
diff changeset 
    27
 
21c42b095c841d1a7508c143d6b6e98d95dbfa69 Isabelle2012
64039
44660100931d earlier build_history_base: timing properties in log are introduced here;
wenzelm
parents: 64029
diff changeset 
    28
 
20126dd9772c973118879a6878acfd9e6c66f1e7 build_history_base
51086
f24c68eb8e75 Added tag Isabelle2013 for changeset d90218288d51
wenzelm
parents: 51080
diff changeset 
    29
 
d90218288d517942cfbc80a6b2654ecb22735e5c Isabelle2013
54382
75623b4d6251 Added tag Isabelle2013-1 for changeset 9c1f21365326
wenzelm
parents: 54375
diff changeset 
    30
 
9c1f2136532626c7cb5fae14a2aeac53be3aeb67 Isabelle2013-1
54668
76211bc0e161 Added tag Isabelle2013-2 for changeset 4dd08fe126ba
wenzelm
parents: 54663
diff changeset 
    31
 
4dd08fe126bad63aa05741d55fb3e86a2dbfc795 Isabelle2013-2
58050
1b6035697c49 Added tag Isabelle2014 for changeset 8f4a332500e4
wenzelm
parents: 57978
diff changeset 
    32
 
8f4a332500e41bb67efc3e141608829473606a72 Isabelle2014
60300
82453d0f49ee Added tag Isabelle2015 for changeset 5ae2a2e74c93
wenzelm
parents: 60289
diff changeset 
    33
 
5ae2a2e74c93eafeb00b1ddeef0404256745ebba Isabelle2015
62338
ec44535f954a Added tag Isabelle2016 for changeset d3996d5873dd
wenzelm
parents: 62283
diff changeset 
    34
 
d3996d5873ddcf1115ec8d3d511a0bb5dbd1cfc4 Isabelle2016
64553
dbef42baa925 Added tag Isabelle2016-1 for changeset 7aa3c52f27aa
wenzelm
parents: 64550
diff changeset 
    35
 
7aa3c52f27aade2cada22206cf0477b30a25f781 Isabelle2016-1
66788
6b08228b02d5 Added tag Isabelle2017 for changeset 64b47495676d
wenzelm
parents: 66687
diff changeset 
    36
 
64b47495676d5d6bdec02032a7a90fe6e1ff6c50 Isabelle2017
68748
b9b5473f0c5c Added tag Isabelle2018 for changeset 91162dd89571
wenzelm
parents: 68739
diff changeset 
    37
 
91162dd89571fb9ddfa36844fdb1a16aea13adcf Isabelle2018
70328
400238fad6c2 Added tag Isabelle2019 for changeset 83774d669b51
wenzelm
parents: 70299
diff changeset 
    38
 
83774d669b5181fb28d19d7a0219fbf6c6d38aab Isabelle2019
isabelle