Mercurial
Mercurial
>
hg
>
itp-2015
/ shortlog
summary
| shortlog |
changelog
|
graph
|
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
(0)
-100
-50
-30
+30
+50
+100
tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
2015-08-09
chunhan
updated for xingyuan's money file
changeset
|
files
2015-08-08
chunhan
update
changeset
|
files
2015-08-07
chunhan
add travel guide
changeset
|
files
2015-08-07
chunhan
1 more for Coq
changeset
|
files
2015-08-06
chunhan
1 more for Coq
changeset
|
files
2015-08-06
chunhan
1 more for Isabelle
changeset
|
files
2015-08-04
chunhan
1 more
changeset
|
files
2015-07-30
Christian Urban
updated
changeset
|
files
2015-07-30
Christian Urban
updated
changeset
|
files
2015-07-30
chunhan
money transfer merged
changeset
|
files
2015-07-29
Christian Urban
merged
changeset
|
files
2015-07-27
chunhan
one more
changeset
|
files
2015-07-27
chunhan
1 more for isar+coq
changeset
|
files
2015-07-26
chunhan
1 more for Isar
changeset
|
files
2015-07-25
chunhan
2 more people
changeset
|
files
2015-07-21
Christian Urban
updated 21.7.2015
changeset
|
files
2015-07-17
chunhan
update
changeset
|
files
2015-07-17
chunhan
add a statistic file indexed by 30 papers. it turns out only 3 papers have no speaker.
changeset
|
files
2015-07-17
chunhan
update
changeset
|
files
2015-07-16
chunhan
update
changeset
|
files
2015-07-16
Christian Urban
uodated
changeset
|
files
2015-07-16
Christian Urban
added A Fox
changeset
|
files
2015-07-15
Christian Urban
updated for 205.7.15
changeset
|
files
2015-07-15
Christian Urban
small update
changeset
|
files
2015-07-15
chunhan
update
changeset
|
files
2015-07-14
Christian Urban
added Hetzl
changeset
|
files
2015-07-13
chunhan
merge
changeset
|
files
2015-07-13
chunhan
29
changeset
|
files
2015-07-12
Christian Urban
updated statistics
changeset
|
files
2015-07-12
chunhan
add a Chinese introduction of the ITP conf
changeset
|
files
(0)
-100
-50
-30
+30
+50
+100
tip