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 |