projects / features.git / commit
| author | Richard Heck <rgheck@comcast.net> | |
| Wed, 29 Jun 2011 19:20:51 +0000 (19:20 +0000) | ||
| committer | Richard Heck <rgheck@comcast.net> | |
| Wed, 29 Jun 2011 19:20:51 +0000 (19:20 +0000) | ||
| commit | b4474e70c6741d186f98d080293624f3b00242dd | |
| tree | 5370f4c787debb6701aabbe61f3daf7cc0e3e0c2 | tree | snapshot |
| parent | ff56540bf2c17e49f9021cd1f04e1f3ca403adbd | commit | diff |
| lib/layouts/theorems-proof-std.inc | diff | blob | history |