author | Helmut Grohne <helmut@subdivi.de> | |
Sat, 21 Jan 2012 09:58:14 +0000 (10:58 +0100) | ||
committer | Helmut Grohne <helmut@subdivi.de> | |
Sat, 21 Jan 2012 09:58:14 +0000 (10:58 +0100) | ||
commit | 6e458b738fd75fccac1c605091bfcf7486001533 | |
tree | 3cbb7002ae371e3c979ccdfd366fe067bef938b4 | tree | snapshot |
parent | ce0fc8fe4e14491e52e796d2ddbaa07d90060697 | commit | diff |
Bidir.agda | diff | blob | history |