author | Helmut Grohne <helmut@subdivi.de> | |
Thu, 26 Jan 2012 10:45:06 +0000 (11:45 +0100) | ||
committer | Helmut Grohne <helmut@subdivi.de> | |
Thu, 26 Jan 2012 10:45:06 +0000 (11:45 +0100) | ||
commit | 024635440449c8249cdff9d5637fcb7e02b5d293 | |
tree | ac6e83c2ca80c1b41bb24154274b0d4f4dc54b6c | tree | snapshot |
parent | 90d67cb200626cdb0eb4ead36278af8119dfe661 | commit | diff |
Bidir.agda | diff | blob | history |