2011-03-16 | Christian Urban | precise path to LaTeXsugar | file | diff | annotate |
2010-10-28 | Cezary Kaliszyk | FSet changes for Qpaper | file | diff | annotate |
2010-07-18 | Christian Urban | some test with quotient | file | diff | annotate |
2010-05-26 | Christian Urban | added FSet to the correct paper | file | diff | annotate |
2010-04-29 | Christian Urban | added stub for quotient paper; call with isabelle make qpaper | file | diff | annotate |