summaryrefslogtreecommitdiff
path: root/doc/faq
ModeNameSize
-rw-r--r--FAQ.tex81580logplain
-rw-r--r--axioms.eps12277logplain
-rw-r--r--axioms.fig5628logplain
-rw-r--r--axioms.png10075logplain
-rw-r--r--fk.bib78690logplain
-rw-r--r--hevea.sty2685logplain
-rw-r--r--interval_discr.v10303logplain