projects / features.git / commit
| author | Richard Heck <rgheck@comcast.net> | |
| Wed, 29 Jun 2011 19:20:33 +0000 (19:20 +0000) | ||
| committer | Richard Heck <rgheck@comcast.net> | |
| Wed, 29 Jun 2011 19:20:33 +0000 (19:20 +0000) | ||
| commit | 863a4d1906a28b23cfd1e87df82056168090f4ac | |
| tree | a632307347a77c7a7c7b71be11ccebd277a0c126 | tree | snapshot |
| parent | 823f982571a9dd7451b738a6c0d85140967552ab | commit | diff |
| lib/layouts/theorems-proof-std.inc | diff | blob | history |