author | Helmut Grohne <helmut@subdivi.de> | |
Thu, 9 Feb 2012 10:58:54 +0000 (11:58 +0100) | ||
committer | Helmut Grohne <helmut@subdivi.de> | |
Thu, 9 Feb 2012 10:58:54 +0000 (11:58 +0100) | ||
commit | eb6be3f9358e441fcee9256da5aae8915453f0a5 | |
tree | bf1fbb4c2c885c84ebc064c93a0737da79ab16b3 | tree | snapshot |
parent | 8e841d13a36cc57300a3fe4eec5305b684212e60 | commit | diff |
Bidir.agda | diff | blob | history |