| commit | 6441c28d3f5e71e1b9b0a983b2d84a8c6b748757 | |
| author | malc <av1474@comtv.ru> | |
| Fri, 27 Jan 2012 00:19:05 +0000 (27 04:19 +0400) | ||
| committer | malc <av1474@comtv.ru> | |
| Fri, 27 Jan 2012 00:19:05 +0000 (27 04:19 +0400) | ||
| tree | 68dcc1f552e2360a63241c94a06bf2d04e379f52 | treesnapshot (tar.gz zip) |
| parent | 6b2591aa7247802b2bee10614cf18386adcdf107 | commitdiff |
Hoare's maxim
| main.ml | diffblobblamehistory |