projects / ~helmut / bidiragda.git / commit
| author | Helmut Grohne <helmut@subdivi.de> | |
| Thu, 9 Feb 2012 15:14:57 +0000 (16:14 +0100) | ||
| committer | Helmut Grohne <helmut@subdivi.de> | |
| Thu, 9 Feb 2012 15:14:57 +0000 (16:14 +0100) | ||
| commit | 0a761e5511e700dad236ee70bcdaf69c7de700f0 | |
| tree | d8a4cb5904eb40f98e9685f1402a9c2212aeff53 | tree | snapshot |
| parent | 925dbb2dac110d46130715464d7877b5b660ced0 | commit | diff |
| Bidir.agda | diff | blob | history |