project.ruler.papers - Revision 354: /wgt10-pres
..
Makefile.in
configure.ac
mathpartir.sty
presentation.lhs