]>
2011-06-22 | Uwe Stöhr | - svcommon.inc: fix definition of proof and abstract... | blob | commitdiff | raw |
2011-06-21 | Richard Heck | Remove redundancy. | blob | commitdiff | raw | diff to current |
2011-06-21 | Uwe Stöhr | - svcommon.inc: whitespace and some simplifications | blob | commitdiff | raw | diff to current |
2011-06-17 | Uwe Stöhr | svcommon.inc: fix the Preface style (I already did... | blob | commitdiff | raw | diff to current |
2011-06-17 | Uwe Stöhr | - theorems-without-preamble.inc: new file to provide... | blob | commitdiff | raw | diff to current |
2011-06-16 | Richard Heck | Updates to sv* layouts, from Marcus Kriele. | blob | commitdiff | raw | diff to current |