]>
2013-02-09 | Richard Heck | Update all layouts to format 44. | blob | commitdiff | raw |
2013-01-30 | Kornel Benko | Renamed category 'Theorem' and 'Theorems' to 'Reasoning' | blob | commitdiff | raw | diff to current |
2012-12-30 | Juergen Spitzmueller | update layout format | blob | commitdiff | raw | diff to current |
2012-12-22 | Juergen Spitzmueller | Bump layout format | blob | commitdiff | raw | diff to current |
2012-11-23 | Juergen Spitzmueller | Bump layout formats | blob | commitdiff | raw | diff to current |
2012-10-10 | Richard Heck | Update all layouts to format 40. | blob | commitdiff | raw | diff to current |
2011-12-13 | Richard Heck | Repairs to case environment, from Paul Rubin. Modified... | blob | commitdiff | raw | diff to current |