]>
2011-09-19 | hackbard | added tilde before cites | blob | commitdiff | raw |
2011-09-07 | hackbard | checkin for sync to d81 | blob | commitdiff | raw | diff to current |
2010-07-26 | hackbard | sic review started ... | blob | commitdiff | raw | diff to current |
2010-07-05 | hackbard | sync aux<->pb | blob | commitdiff | raw | diff to current |
2010-06-21 | hackbard | kolloquium safety checkin | blob | commitdiff | raw | diff to current |
2010-06-21 | hackbard | made constructed prec an extra chapter | blob | commitdiff | raw | diff to current |