]>
2010-11-30 | Enrico Forestieri | Use single quotes because double ones are skipped inste... | blob | commitdiff | raw |
2010-11-18 | Richard Heck | Don't need \makeat*. | blob | commitdiff | raw | diff to current |
2010-11-17 | Richard Heck | Update to format 30. | blob | commitdiff | raw | diff to current |
2010-11-02 | Richard Heck | Add module for named theorems. Thanks to John Perry... | blob | commitdiff | raw | diff to current |