repo.or.cz
/
maths57d00.git
/
search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
first
·
prev
·
next
Old revision was just a part fo what was intended, 'subsume' it.
2013-04-19
Ivan Zakh
a
ry
a
schev
Old revision was
j
u
st a part fo
w
hat was intended,
.
.
.
commit
|
commitdiff
|
tree
2013-04-19
I
van Zakharyaschev
J
oined
t
he
s
c
anned pap
e
rs (f
i
rst take) into one PDF
.
commit
|
commitdiff
|
tree
2013-04-19
Ivan Zakharyaschev
Scanned the
p
apers (first take)
.
commit
|
commitdiff
|
tree
2013-04-09
Iv
a
n Zakhar
y
a
s
che
v
Scan
n
ed
t
he papers,
a
nd joined them into
o
ne PDF
.
commit
|
commitdiff
|
tree
