projects / cacao.git / commit
| author | edwin <none@none> | |
| Mon, 19 Jan 2004 12:29:13 +0000 (12:29 +0000) | ||
| committer | edwin <none@none> | |
| Mon, 19 Jan 2004 12:29:13 +0000 (12:29 +0000) | ||
| commit | 5dbf3071f8e856b3f4652a623ff23b163586154b | |
| tree | e57c286662d750b8d4a96476ee443c2ff64bc25d | tree | snapshot |
| parent | a0a303f434fdfaa9e313ac0bf25fcfdd8556b0fd | commit | diff |
| doc/handbook/verification.tex | diff | blob | history |