repo.or.cz
/
algebraic-prog-equiv.git
/
search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
first
·
prev
·
next
Additions to the style file while preparing the work for presentation.
2009-03-24
Ivan Za
k
haryaschev
Addi
t
ions to the
style file while preparing
t
he work
.
.
.
commit
|
commitdiff
|
tree
2009-03-24
Ivan Za
k
haryaschev
M
e
r
ging the final
RCS state of
a file
.
commit
|
commitdiff
|
tree
2009-03-24
I
van Zakharyas
c
hev
Me
r
g
i
ng
th
e
fina
l
RCS st
a
te
o
f a file
.
commit
|
commitdiff
|
tree
2009-03-24
Ivan Zakharya
s
c
he
v
Merg
i
ng t
h
e final RCS
s
t
ate o
f
a file
.
commit
|
commitdiff
|
tree
2009-03-23
Ivan Zakharyas
c
hev
R
eg
i
stered
a
ll other availabl
e
(i
n
a
s
e
nse, initial
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Ivan Zakharyasch
e
v
The
r
e won't be any
need i
n
th
e
Author
s
file in t
h
e
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Ivan Zakh
a
ryaschev
T
he
A
uthor
s
file
t
hat has been use
d
for r
e
ading RCS
.
.
.
commit
|
commitdiff
|
tree
2009-03-17
Ivan
Z
akhar
y
aschev
Merged initial RCS stat
e
s w
i
th the
h
e
l
p o
f
/h
o
me/ivan
.
.
.
commit
|
commitdiff
|
tree
2009-03-17
Ivan Zakhary
a
s
ch
e
v
Initial
r
evision
commit
|
commitdiff
|
tree
2005-10-07
Ivan Z
a
k
h
aryaschev
copi
e
d fo
r
R
u
ssian vari
a
nt
commit
|
commitdiff
|
tree
2005-07-25
Ivan Zakharyaschev
I
nitial revision
commit
|
commitdiff
|
tree
2005-06-03
Ivan Zakharyaschev
typo
commit
|
commitdiff
|
tree
2005-06-03
Ivan Zakh
a
r
y
aschev
Initial revision
commit
|
commitdiff
|
tree
2005-05-31
Ivan Zakharyaschev
Initial revis
i
on
commit
|
commitdiff
|
tree
2005-05-26
Ivan
Z
akharya
s
chev
Initial revi
s
ion
commit
|
commitdiff
|
tree
2005-05-25
Ivan
Zakh
a
ryaschev
Initial revision
commit
|
commitdiff
|
tree
2005-05-22
I
van Zakharyaschev
I
n
itial revision
commit
|
commitdiff
|
tree
2005-05-18
Ivan Zakharyaschev
Ini
t
ial revision
commit
|
commitdiff
|
tree
2005-05-10
I
van Zakharyaschev
while w
r
it
i
ng KAT
commit
|
commitdiff
|
tree
2005-05-10
I
va
n
Zakharyasc
h
ev
changes
while
wrting abo
u
t KAT
commit
|
commitdiff
|
tree
2005-05-10
Ivan Zakharyaschev
Initial revision
commit
|
commitdiff
|
tree
2005-05-10
Ivan Zakharyas
c
hev
Initial
r
evision
commit
|
commitdiff
|
tree