| .. |
|
Makefile
|
5383db531e
final version of chit-chat talk
|
18 years ago |
|
notes
|
5383db531e
final version of chit-chat talk
|
18 years ago |
|
proof.sty
|
5383db531e
final version of chit-chat talk
|
18 years ago |
|
talk.tex
|
5383db531e
final version of chit-chat talk
|
18 years ago |
Andrés Sicard-Ramírez