aboutsummaryrefslogtreecommitdiffhomepage
path: root/doc/faq
ModeNameSize
-rw-r--r--FAQ.tex86436logplain
-rw-r--r--axioms.fig5375logplain
-rw-r--r--fk.bib78825logplain
-rw-r--r--hevea.sty2685logplain
-rw-r--r--interval_discr.v10279logplain