Mercurial
Mercurial
>
hg
>
itp-2015
/ changelog
summary
|
shortlog
| changelog |
graph
|
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
(0)
-100
-14
+14
+100
tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
2015-07-29
merged
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Wed, 29 Jul 2015 06:55:01 +0100] rev 229
merged
2015-07-27
one more
changeset
chunhan [Tue, 28 Jul 2015 06:46:21 +0800] rev 228
one more
2015-07-27
1 more for isar+coq
changeset
chunhan [Mon, 27 Jul 2015 08:33:17 +0800] rev 227
1 more for isar+coq
2015-07-26
1 more for Isar
changeset
chunhan [Sun, 26 Jul 2015 09:35:56 +0800] rev 226
1 more for Isar
2015-07-25
2 more people
changeset
chunhan [Sat, 25 Jul 2015 10:24:48 +0800] rev 225
2 more people
2015-07-21
updated 21.7.2015
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Tue, 21 Jul 2015 19:19:03 +0100] rev 224
updated 21.7.2015
2015-07-17
update
changeset
chunhan [Fri, 17 Jul 2015 12:57:21 +0800] rev 223
update
2015-07-17
add a statistic file indexed by 30 papers. it turns out only 3 papers have no speaker.
changeset
chunhan [Fri, 17 Jul 2015 12:50:46 +0800] rev 222
add a statistic file indexed by 30 papers. it turns out only 3 papers have no speaker.
2015-07-17
update
changeset
chunhan [Fri, 17 Jul 2015 09:30:05 +0800] rev 221
update
2015-07-16
update
changeset
chunhan [Thu, 16 Jul 2015 21:04:29 +0800] rev 220
update
2015-07-16
uodated
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 16 Jul 2015 10:25:56 +0100] rev 219
uodated
2015-07-16
added A Fox
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 16 Jul 2015 09:00:16 +0100] rev 218
added A Fox
2015-07-15
updated for 205.7.15
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Wed, 15 Jul 2015 23:10:24 +0100] rev 217
updated for 205.7.15
2015-07-15
small update
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Wed, 15 Jul 2015 14:52:24 +0100] rev 216
small update
(0)
-100
-14
+14
+100
tip