| author | Mart Lubbers <mart@martlubbers.net> | |
| Tue, 20 Sep 2016 11:58:12 +0000 (13:58 +0200) | ||
| committer | Mart Lubbers <mart@martlubbers.net> | |
| Tue, 20 Sep 2016 11:58:12 +0000 (13:58 +0200) | 
| .gitignore | patch | blob | history | |
| proposal/Makefile | patch | blob | history | |
| proposal/p.tex | patch | blob | history |