aboutsummaryrefslogtreecommitdiffhomepage
path: root/doc/faq
ModeNameSize
-rw-r--r--FAQ.tex85233logplain
-rw-r--r--axioms.eps12277logplain
-rw-r--r--axioms.fig5628logplain
-rw-r--r--axioms.png10075logplain
-rw-r--r--fk.bib78722logplain
-rw-r--r--hevea.sty2685logplain
-rw-r--r--interval_discr.v10279logplain