author | Helmut Grohne <helmut@subdivi.de> | |
Tue, 19 Jun 2012 14:28:03 +0000 (16:28 +0200) | ||
committer | Helmut Grohne <helmut@subdivi.de> | |
Tue, 19 Jun 2012 14:28:03 +0000 (16:28 +0200) | ||
commit | 61d74dd8e6cffd27e53a1a93c5560bbdf346941f | |
tree | 5ae83b04ae794d61ddcdf18e58435fbce95cd9f8 | tree | snapshot |
parent | 84231ed91ae814d5a256e5fa24810c886ae31369 | commit | diff |
BFF.agda | diff | blob | history |