/usr/share/open-axiom/hypertex/pages/ALIST.ht
|
text/x-tex
|
root:root
|
0o644
|
3.0 KB
|
/usr/share/open-axiom/hypertex/pages/ALIST.pht
|
text/x-tex
|
root:root
|
0o644
|
7.0 KB
|
/usr/share/open-axiom/hypertex/pages/ANNA-ES.ht
|
text/x-tex
|
root:root
|
0o644
|
24.8 KB
|
/usr/share/open-axiom/hypertex/pages/ANNA-ES.pht
|
text/x-tex
|
root:root
|
0o644
|
7.5 KB
|
/usr/share/open-axiom/hypertex/pages/ARRAY1.ht
|
text/x-tex
|
root:root
|
0o644
|
2.3 KB
|
/usr/share/open-axiom/hypertex/pages/ARRAY1.pht
|
text/x-tex
|
root:root
|
0o644
|
6.1 KB
|
/usr/share/open-axiom/hypertex/pages/ARRAY2.ht
|
text/x-tex
|
root:root
|
0o644
|
5.2 KB
|
/usr/share/open-axiom/hypertex/pages/ARRAY2.pht
|
text/x-tex
|
root:root
|
0o644
|
14.4 KB
|
/usr/share/open-axiom/hypertex/pages/BBTREE.ht
|
text/x-tex
|
root:root
|
0o644
|
4.0 KB
|
/usr/share/open-axiom/hypertex/pages/BBTREE.pht
|
text/x-tex
|
root:root
|
0o644
|
6.6 KB
|
/usr/share/open-axiom/hypertex/pages/BINARY.ht
|
text/x-tex
|
root:root
|
0o644
|
1.6 KB
|
/usr/share/open-axiom/hypertex/pages/BINARY.pht
|
text/x-tex
|
root:root
|
0o644
|
5.3 KB
|
/usr/share/open-axiom/hypertex/pages/BOP.ht
|
text/x-tex
|
root:root
|
0o644
|
4.0 KB
|
/usr/share/open-axiom/hypertex/pages/BOP.pht
|
text/x-tex
|
root:root
|
0o644
|
11.2 KB
|
/usr/share/open-axiom/hypertex/pages/BSTREE.ht
|
text/x-tex
|
root:root
|
0o644
|
3.2 KB
|
/usr/share/open-axiom/hypertex/pages/BSTREE.pht
|
text/x-tex
|
root:root
|
0o644
|
7.9 KB
|
/usr/share/open-axiom/hypertex/pages/CARD.ht
|
text/x-tex
|
root:root
|
0o644
|
4.2 KB
|
/usr/share/open-axiom/hypertex/pages/CARD.pht
|
text/x-tex
|
root:root
|
0o644
|
12.6 KB
|
/usr/share/open-axiom/hypertex/pages/CARTEN.ht
|
text/x-tex
|
root:root
|
0o644
|
11.9 KB
|
/usr/share/open-axiom/hypertex/pages/CARTEN.pht
|
text/x-tex
|
root:root
|
0o644
|
32.8 KB
|
/usr/share/open-axiom/hypertex/pages/CCLASS.ht
|
text/x-tex
|
root:root
|
0o644
|
2.1 KB
|
/usr/share/open-axiom/hypertex/pages/CCLASS.pht
|
text/x-tex
|
root:root
|
0o644
|
10.0 KB
|
/usr/share/open-axiom/hypertex/pages/CHAR.ht
|
text/x-tex
|
root:root
|
0o644
|
2.4 KB
|
/usr/share/open-axiom/hypertex/pages/CHAR.pht
|
text/x-tex
|
root:root
|
0o644
|
7.7 KB
|
/usr/share/open-axiom/hypertex/pages/CLIF.ht
|
text/x-tex
|
root:root
|
0o644
|
8.3 KB
|
/usr/share/open-axiom/hypertex/pages/CLIF.pht
|
text/x-tex
|
root:root
|
0o644
|
24.8 KB
|
/usr/share/open-axiom/hypertex/pages/COMPLEX.ht
|
text/x-tex
|
root:root
|
0o644
|
2.7 KB
|
/usr/share/open-axiom/hypertex/pages/COMPLEX.pht
|
text/x-tex
|
root:root
|
0o644
|
8.9 KB
|
/usr/share/open-axiom/hypertex/pages/CONTFRAC.ht
|
text/x-tex
|
root:root
|
0o644
|
9.4 KB
|
/usr/share/open-axiom/hypertex/pages/CONTFRAC.pht
|
text/x-tex
|
root:root
|
0o644
|
18.1 KB
|
/usr/share/open-axiom/hypertex/pages/CPHelp.ht
|
text/x-tex
|
root:root
|
0o644
|
1.3 KB
|
/usr/share/open-axiom/hypertex/pages/CYCLES.ht
|
text/x-tex
|
root:root
|
0o644
|
11.1 KB
|
/usr/share/open-axiom/hypertex/pages/CYCLES.pht
|
text/x-tex
|
root:root
|
0o644
|
33.4 KB
|
/usr/share/open-axiom/hypertex/pages/DECIMAL.ht
|
text/x-tex
|
root:root
|
0o644
|
1.7 KB
|
/usr/share/open-axiom/hypertex/pages/DECIMAL.pht
|
text/x-tex
|
root:root
|
0o644
|
5.2 KB
|
/usr/share/open-axiom/hypertex/pages/DERHAM.ht
|
text/x-tex
|
root:root
|
0o644
|
5.6 KB
|
/usr/share/open-axiom/hypertex/pages/DERHAM.pht
|
text/x-tex
|
root:root
|
0o644
|
23.0 KB
|
/usr/share/open-axiom/hypertex/pages/DFLOAT.ht
|
text/x-tex
|
root:root
|
0o644
|
3.5 KB
|
/usr/share/open-axiom/hypertex/pages/DFLOAT.pht
|
text/x-tex
|
root:root
|
0o644
|
5.9 KB
|
/usr/share/open-axiom/hypertex/pages/DMP.ht
|
text/x-tex
|
root:root
|
0o644
|
3.5 KB
|
/usr/share/open-axiom/hypertex/pages/DMP.pht
|
text/x-tex
|
root:root
|
0o644
|
7.6 KB
|
/usr/share/open-axiom/hypertex/pages/EQ.ht
|
text/x-tex
|
root:root
|
0o644
|
2.1 KB
|
/usr/share/open-axiom/hypertex/pages/EQ.pht
|
text/x-tex
|
root:root
|
0o644
|
6.8 KB
|
/usr/share/open-axiom/hypertex/pages/EQTBL.ht
|
text/x-tex
|
root:root
|
0o644
|
1.6 KB
|
/usr/share/open-axiom/hypertex/pages/EQTBL.pht
|
text/x-tex
|
root:root
|
0o644
|
3.3 KB
|
/usr/share/open-axiom/hypertex/pages/EXIT.ht
|
text/x-tex
|
root:root
|
0o644
|
1.7 KB
|
/usr/share/open-axiom/hypertex/pages/EXIT.pht
|
text/x-tex
|
root:root
|
0o644
|
3.2 KB
|
/usr/share/open-axiom/hypertex/pages/EXPR.ht
|
text/x-tex
|
root:root
|
0o644
|
6.6 KB
|
/usr/share/open-axiom/hypertex/pages/EXPR.pht
|
text/x-tex
|
root:root
|
0o644
|
14.8 KB
|
/usr/share/open-axiom/hypertex/pages/FARRAY.ht
|
text/x-tex
|
root:root
|
0o644
|
3.8 KB
|
/usr/share/open-axiom/hypertex/pages/FARRAY.pht
|
text/x-tex
|
root:root
|
0o644
|
10.0 KB
|
/usr/share/open-axiom/hypertex/pages/FILE.ht
|
text/x-tex
|
root:root
|
0o644
|
3.0 KB
|
/usr/share/open-axiom/hypertex/pages/FILE.pht
|
text/x-tex
|
root:root
|
0o644
|
7.2 KB
|
/usr/share/open-axiom/hypertex/pages/FLOAT.ht
|
text/x-tex
|
root:root
|
0o644
|
9.6 KB
|
/usr/share/open-axiom/hypertex/pages/FLOAT.pht
|
text/x-tex
|
root:root
|
0o644
|
24.5 KB
|
/usr/share/open-axiom/hypertex/pages/FNAME.ht
|
text/x-tex
|
root:root
|
0o644
|
3.5 KB
|
/usr/share/open-axiom/hypertex/pages/FNAME.pht
|
text/x-tex
|
root:root
|
0o644
|
10.4 KB
|
/usr/share/open-axiom/hypertex/pages/FPARFRAC.ht
|
text/x-tex
|
root:root
|
0o644
|
2.8 KB
|
/usr/share/open-axiom/hypertex/pages/FPARFRAC.pht
|
text/x-tex
|
root:root
|
0o644
|
17.3 KB
|
/usr/share/open-axiom/hypertex/pages/FR.ht
|
text/x-tex
|
root:root
|
0o644
|
8.1 KB
|
/usr/share/open-axiom/hypertex/pages/FR.pht
|
text/x-tex
|
root:root
|
0o644
|
23.1 KB
|
/usr/share/open-axiom/hypertex/pages/FR2.ht
|
text/x-tex
|
root:root
|
0o644
|
2.1 KB
|
/usr/share/open-axiom/hypertex/pages/FR2.pht
|
text/x-tex
|
root:root
|
0o644
|
4.0 KB
|
/usr/share/open-axiom/hypertex/pages/FRAC.ht
|
text/x-tex
|
root:root
|
0o644
|
3.4 KB
|
/usr/share/open-axiom/hypertex/pages/FRAC.pht
|
text/x-tex
|
root:root
|
0o644
|
7.1 KB
|
/usr/share/open-axiom/hypertex/pages/GBF.ht
|
text/x-tex
|
root:root
|
0o644
|
4.5 KB
|
/usr/share/open-axiom/hypertex/pages/GBF.pht
|
text/x-tex
|
root:root
|
0o644
|
4.7 KB
|
/usr/share/open-axiom/hypertex/pages/GSTBL.ht
|
text/x-tex
|
root:root
|
0o644
|
2.0 KB
|
/usr/share/open-axiom/hypertex/pages/GSTBL.pht
|
text/x-tex
|
root:root
|
0o644
|
4.6 KB
|
/usr/share/open-axiom/hypertex/pages/HEAP.ht
|
text/x-tex
|
root:root
|
0o644
|
1.9 KB
|
/usr/share/open-axiom/hypertex/pages/HEAP.pht
|
text/x-tex
|
root:root
|
0o644
|
4.4 KB
|
/usr/share/open-axiom/hypertex/pages/HEXADEC.ht
|
text/x-tex
|
root:root
|
0o644
|
1.7 KB
|
/usr/share/open-axiom/hypertex/pages/HEXADEC.pht
|
text/x-tex
|
root:root
|
0o644
|
5.0 KB
|
/usr/share/open-axiom/hypertex/pages/HTXAdvPage1.ht
|
text/x-tex
|
root:root
|
0o644
|
2.9 KB
|
/usr/share/open-axiom/hypertex/pages/HTXAdvPage2.ht
|
text/x-tex
|
root:root
|
0o644
|
4.1 KB
|
/usr/share/open-axiom/hypertex/pages/HTXAdvPage3.ht
|
text/x-tex
|
root:root
|
0o644
|
1.9 KB
|
/usr/share/open-axiom/hypertex/pages/HTXAdvPage4.ht
|
text/x-tex
|
root:root
|
0o644
|
4.7 KB
|
/usr/share/open-axiom/hypertex/pages/HTXAdvPage5.ht
|
text/x-tex
|
root:root
|
0o644
|
4.2 KB
|
/usr/share/open-axiom/hypertex/pages/HTXAdvPage6.ht
|
text/x-tex
|
root:root
|
0o644
|
2.9 KB
|
/usr/share/open-axiom/hypertex/pages/HTXAdvTopPage.ht
|
text/x-tex
|
root:root
|
0o644
|
480 bytes
|
/usr/share/open-axiom/hypertex/pages/HTXFormatPage1.ht
|
text/x-tex
|
root:root
|
0o644
|
2.4 KB
|
/usr/share/open-axiom/hypertex/pages/HTXFormatPage2.ht
|
text/x-tex
|
root:root
|
0o644
|
4.4 KB
|
/usr/share/open-axiom/hypertex/pages/HTXFormatPage3.ht
|
text/x-tex
|
root:root
|
0o644
|
4.7 KB
|
/usr/share/open-axiom/hypertex/pages/HTXFormatPage4.ht
|
text/x-tex
|
root:root
|
0o644
|
6.5 KB
|
/usr/share/open-axiom/hypertex/pages/HTXFormatPage5.ht
|
text/x-tex
|
root:root
|
0o644
|
7.8 KB
|
/usr/share/open-axiom/hypertex/pages/HTXFormatPage6.ht
|
text/x-tex
|
root:root
|
0o644
|
1.7 KB
|
/usr/share/open-axiom/hypertex/pages/HTXFormatPage7.ht
|
text/x-tex
|
root:root
|
0o644
|
5.4 KB
|
/usr/share/open-axiom/hypertex/pages/HTXFormatPage8.ht
|
text/x-tex
|
root:root
|
0o644
|
3.0 KB
|
/usr/share/open-axiom/hypertex/pages/HTXFormatTopPage.ht
|
text/x-tex
|
root:root
|
0o644
|
711 bytes
|
/usr/share/open-axiom/hypertex/pages/HTXIntroPage1.ht
|
text/x-tex
|
root:root
|
0o644
|
1.9 KB
|
/usr/share/open-axiom/hypertex/pages/HTXIntroPage2.ht
|
text/x-tex
|
root:root
|
0o644
|
2.2 KB
|
/usr/share/open-axiom/hypertex/pages/HTXIntroPage3.ht
|
text/x-tex
|
root:root
|
0o644
|
3.9 KB
|
/usr/share/open-axiom/hypertex/pages/HTXIntroTopPage.ht
|
text/x-tex
|
root:root
|
0o644
|
1019 bytes
|
/usr/share/open-axiom/hypertex/pages/HTXLinkPage1.ht
|
text/x-tex
|
root:root
|
0o644
|
4.2 KB
|
/usr/share/open-axiom/hypertex/pages/HTXLinkPage2.ht
|
text/x-tex
|
root:root
|
0o644
|
3.8 KB
|
/usr/share/open-axiom/hypertex/pages/HTXLinkPage3.ht
|
text/x-tex
|
root:root
|
0o644
|
7.2 KB
|
/usr/share/open-axiom/hypertex/pages/HTXLinkPage4.ht
|
text/x-tex
|
root:root
|
0o644
|
10.7 KB
|
/usr/share/open-axiom/hypertex/pages/HTXLinkPage5.ht
|
text/x-tex
|
root:root
|
0o644
|
3.3 KB
|
/usr/share/open-axiom/hypertex/pages/HTXLinkPage6.ht
|
text/x-tex
|
root:root
|
0o644
|
7.5 KB
|
/usr/share/open-axiom/hypertex/pages/HTXLinkTopPage.ht
|
text/x-tex
|
root:root
|
0o644
|
600 bytes
|
/usr/share/open-axiom/hypertex/pages/HTXTopPage.ht
|
text/x-tex
|
root:root
|
0o644
|
689 bytes
|
/usr/share/open-axiom/hypertex/pages/HTXTryPage.ht
|
text/x-tex
|
root:root
|
0o644
|
2.0 KB
|
/usr/share/open-axiom/hypertex/pages/HTXplay.ht
|
text/x-tex
|
root:root
|
0o644
|
100 bytes
|
/usr/share/open-axiom/hypertex/pages/INT.ht
|
text/x-tex
|
root:root
|
0o644
|
10.8 KB
|
/usr/share/open-axiom/hypertex/pages/INT.pht
|
text/x-tex
|
root:root
|
0o644
|
27.2 KB
|
/usr/share/open-axiom/hypertex/pages/INTHEORY.ht
|
text/x-tex
|
root:root
|
0o644
|
8.1 KB
|
/usr/share/open-axiom/hypertex/pages/INTHEORY.pht
|
text/x-tex
|
root:root
|
0o644
|
15.9 KB
|
/usr/share/open-axiom/hypertex/pages/KAFILE.ht
|
text/x-tex
|
root:root
|
0o644
|
4.1 KB
|
/usr/share/open-axiom/hypertex/pages/KAFILE.pht
|
text/x-tex
|
root:root
|
0o644
|
13.4 KB
|
/usr/share/open-axiom/hypertex/pages/KERNEL.ht
|
text/x-tex
|
root:root
|
0o644
|
4.0 KB
|
/usr/share/open-axiom/hypertex/pages/KERNEL.pht
|
text/x-tex
|
root:root
|
0o644
|
10.3 KB
|
/usr/share/open-axiom/hypertex/pages/LAZM3PK.ht
|
text/x-tex
|
root:root
|
0o644
|
8.7 KB
|
/usr/share/open-axiom/hypertex/pages/LAZM3PK.pht
|
text/x-tex
|
root:root
|
0o644
|
40.9 KB
|
/usr/share/open-axiom/hypertex/pages/LEXP.ht
|
text/x-tex
|
root:root
|
0o644
|
1.4 KB
|
/usr/share/open-axiom/hypertex/pages/LEXP.pht
|
text/x-tex
|
root:root
|
0o644
|
9.3 KB
|
/usr/share/open-axiom/hypertex/pages/LEXTRIPK.ht
|
text/x-tex
|
root:root
|
0o644
|
9.6 KB
|
/usr/share/open-axiom/hypertex/pages/LEXTRIPK.pht
|
text/x-tex
|
root:root
|
0o644
|
81.7 KB
|
/usr/share/open-axiom/hypertex/pages/LIB.ht
|
text/x-tex
|
root:root
|
0o644
|
1.9 KB
|
/usr/share/open-axiom/hypertex/pages/LIB.pht
|
text/x-tex
|
root:root
|
0o644
|
4.6 KB
|
/usr/share/open-axiom/hypertex/pages/LIST.ht
|
text/x-tex
|
root:root
|
0o644
|
9.1 KB
|
/usr/share/open-axiom/hypertex/pages/LIST.pht
|
text/x-tex
|
root:root
|
0o644
|
18.1 KB
|
/usr/share/open-axiom/hypertex/pages/LODO.ht
|
text/x-tex
|
root:root
|
0o644
|
3.2 KB
|
/usr/share/open-axiom/hypertex/pages/LODO.pht
|
text/x-tex
|
root:root
|
0o644
|
17.4 KB
|
/usr/share/open-axiom/hypertex/pages/LODO1.ht
|
text/x-tex
|
root:root
|
0o644
|
6.3 KB
|
/usr/share/open-axiom/hypertex/pages/LODO1.pht
|
text/x-tex
|
root:root
|
0o644
|
18.4 KB
|
/usr/share/open-axiom/hypertex/pages/LODO2.ht
|
text/x-tex
|
root:root
|
0o644
|
5.5 KB
|
/usr/share/open-axiom/hypertex/pages/LODO2.pht
|
text/x-tex
|
root:root
|
0o644
|
25.9 KB
|
/usr/share/open-axiom/hypertex/pages/LPOLY.ht
|
text/x-tex
|
root:root
|
0o644
|
2.7 KB
|
/usr/share/open-axiom/hypertex/pages/LPOLY.pht
|
text/x-tex
|
root:root
|
0o644
|
18.7 KB
|
/usr/share/open-axiom/hypertex/pages/LWORD.ht
|
text/x-tex
|
root:root
|
0o644
|
2.1 KB
|
/usr/share/open-axiom/hypertex/pages/LWORD.pht
|
text/x-tex
|
root:root
|
0o644
|
14.0 KB
|
/usr/share/open-axiom/hypertex/pages/Link.ht
|
text/x-tex
|
root:root
|
0o644
|
25.8 KB
|
/usr/share/open-axiom/hypertex/pages/MAGMA.ht
|
text/x-tex
|
root:root
|
0o644
|
1.6 KB
|
/usr/share/open-axiom/hypertex/pages/MAGMA.pht
|
text/x-tex
|
root:root
|
0o644
|
11.7 KB
|
/usr/share/open-axiom/hypertex/pages/MAPPKG1.ht
|
text/x-tex
|
root:root
|
0o644
|
4.6 KB
|
/usr/share/open-axiom/hypertex/pages/MAPPKG1.pht
|
text/x-tex
|
root:root
|
0o644
|
18.0 KB
|
/usr/share/open-axiom/hypertex/pages/MATRIX.ht
|
text/x-tex
|
root:root
|
0o644
|
9.1 KB
|
/usr/share/open-axiom/hypertex/pages/MATRIX.pht
|
text/x-tex
|
root:root
|
0o644
|
27.0 KB
|
/usr/share/open-axiom/hypertex/pages/MKFUNC.ht
|
text/x-tex
|
root:root
|
0o644
|
2.5 KB
|
/usr/share/open-axiom/hypertex/pages/MKFUNC.pht
|
text/x-tex
|
root:root
|
0o644
|
6.3 KB
|
/usr/share/open-axiom/hypertex/pages/MPOLY.ht
|
text/x-tex
|
root:root
|
0o644
|
3.9 KB
|
/usr/share/open-axiom/hypertex/pages/MPOLY.pht
|
text/x-tex
|
root:root
|
0o644
|
8.2 KB
|
/usr/share/open-axiom/hypertex/pages/MSET.ht
|
text/x-tex
|
root:root
|
0o644
|
2.8 KB
|
/usr/share/open-axiom/hypertex/pages/MSET.pht
|
text/x-tex
|
root:root
|
0o644
|
7.0 KB
|
/usr/share/open-axiom/hypertex/pages/NONE.ht
|
text/x-tex
|
root:root
|
0o644
|
1.0 KB
|
/usr/share/open-axiom/hypertex/pages/NONE.pht
|
text/x-tex
|
root:root
|
0o644
|
1.5 KB
|
/usr/share/open-axiom/hypertex/pages/OCT.ht
|
text/x-tex
|
root:root
|
0o644
|
3.4 KB
|
/usr/share/open-axiom/hypertex/pages/OCT.pht
|
text/x-tex
|
root:root
|
0o644
|
11.3 KB
|
/usr/share/open-axiom/hypertex/pages/ODPOL.ht
|
text/x-tex
|
root:root
|
0o644
|
9.0 KB
|
/usr/share/open-axiom/hypertex/pages/ODPOL.pht
|
text/x-tex
|
root:root
|
0o644
|
28.1 KB
|
/usr/share/open-axiom/hypertex/pages/OP.ht
|
text/x-tex
|
root:root
|
0o644
|
4.2 KB
|
/usr/share/open-axiom/hypertex/pages/OP.pht
|
text/x-tex
|
root:root
|
0o644
|
12.9 KB
|
/usr/share/open-axiom/hypertex/pages/OVAR.ht
|
text/x-tex
|
root:root
|
0o644
|
1.2 KB
|
/usr/share/open-axiom/hypertex/pages/OVAR.pht
|
text/x-tex
|
root:root
|
0o644
|
3.3 KB
|
/usr/share/open-axiom/hypertex/pages/PERMAN.ht
|
text/x-tex
|
root:root
|
0o644
|
1.9 KB
|
/usr/share/open-axiom/hypertex/pages/PERMAN.pht
|
text/x-tex
|
root:root
|
0o644
|
2.0 KB
|
/usr/share/open-axiom/hypertex/pages/PFR.ht
|
text/x-tex
|
root:root
|
0o644
|
5.0 KB
|
/usr/share/open-axiom/hypertex/pages/PFR.pht
|
text/x-tex
|
root:root
|
0o644
|
8.0 KB
|
/usr/share/open-axiom/hypertex/pages/POLY.ht
|
text/x-tex
|
root:root
|
0o644
|
10.1 KB
|
/usr/share/open-axiom/hypertex/pages/POLY.pht
|
text/x-tex
|
root:root
|
0o644
|
27.3 KB
|
/usr/share/open-axiom/hypertex/pages/QUAT.ht
|
text/x-tex
|
root:root
|
0o644
|
2.1 KB
|
/usr/share/open-axiom/hypertex/pages/QUAT.pht
|
text/x-tex
|
root:root
|
0o644
|
7.2 KB
|
/usr/share/open-axiom/hypertex/pages/RADIX.ht
|
text/x-tex
|
root:root
|
0o644
|
3.0 KB
|
/usr/share/open-axiom/hypertex/pages/RADIX.pht
|
text/x-tex
|
root:root
|
0o644
|
10.7 KB
|
/usr/share/open-axiom/hypertex/pages/RECLOS.ht
|
text/x-tex
|
root:root
|
0o644
|
9.5 KB
|
/usr/share/open-axiom/hypertex/pages/RECLOS.pht
|
text/x-tex
|
root:root
|
0o644
|
47.3 KB
|
/usr/share/open-axiom/hypertex/pages/REGSET.ht
|
text/x-tex
|
root:root
|
0o644
|
15.9 KB
|
/usr/share/open-axiom/hypertex/pages/REGSET.pht
|
text/x-tex
|
root:root
|
0o644
|
37.8 KB
|
/usr/share/open-axiom/hypertex/pages/ROMAN.ht
|
text/x-tex
|
root:root
|
0o644
|
2.4 KB
|
/usr/share/open-axiom/hypertex/pages/ROMAN.pht
|
text/x-tex
|
root:root
|
0o644
|
6.6 KB
|
/usr/share/open-axiom/hypertex/pages/SEG.ht
|
text/x-tex
|
root:root
|
0o644
|
2.3 KB
|
/usr/share/open-axiom/hypertex/pages/SEG.pht
|
text/x-tex
|
root:root
|
0o644
|
5.3 KB
|
/usr/share/open-axiom/hypertex/pages/SEGBIND.ht
|
text/x-tex
|
root:root
|
0o644
|
1.4 KB
|
/usr/share/open-axiom/hypertex/pages/SEGBIND.pht
|
text/x-tex
|
root:root
|
0o644
|
3.7 KB
|
/usr/share/open-axiom/hypertex/pages/SET.ht
|
text/x-tex
|
root:root
|
0o644
|
3.2 KB
|
/usr/share/open-axiom/hypertex/pages/SET.pht
|
text/x-tex
|
root:root
|
0o644
|
11.0 KB
|
/usr/share/open-axiom/hypertex/pages/SINT.ht
|
text/x-tex
|
root:root
|
0o644
|
3.7 KB
|
/usr/share/open-axiom/hypertex/pages/SINT.pht
|
text/x-tex
|
root:root
|
0o644
|
6.5 KB
|
/usr/share/open-axiom/hypertex/pages/SQMATRIX.ht
|
text/x-tex
|
root:root
|
0o644
|
2.4 KB
|
/usr/share/open-axiom/hypertex/pages/SQMATRIX.pht
|
text/x-tex
|
root:root
|
0o644
|
4.2 KB
|
/usr/share/open-axiom/hypertex/pages/SREGSET.ht
|
text/x-tex
|
root:root
|
0o644
|
5.8 KB
|
/usr/share/open-axiom/hypertex/pages/SREGSET.pht
|
text/x-tex
|
root:root
|
0o644
|
20.7 KB
|
/usr/share/open-axiom/hypertex/pages/STBL.ht
|
text/x-tex
|
root:root
|
0o644
|
1.8 KB
|
/usr/share/open-axiom/hypertex/pages/STBL.pht
|
text/x-tex
|
root:root
|
0o644
|
4.1 KB
|
/usr/share/open-axiom/hypertex/pages/STREAM.ht
|
text/x-tex
|
root:root
|
0o644
|
2.9 KB
|
/usr/share/open-axiom/hypertex/pages/STREAM.pht
|
text/x-tex
|
root:root
|
0o644
|
6.9 KB
|
/usr/share/open-axiom/hypertex/pages/STRING.ht
|
text/x-tex
|
root:root
|
0o644
|
5.7 KB
|
/usr/share/open-axiom/hypertex/pages/STRING.pht
|
text/x-tex
|
root:root
|
0o644
|
19.9 KB
|
/usr/share/open-axiom/hypertex/pages/STRTBL.ht
|
text/x-tex
|
root:root
|
0o644
|
1.2 KB
|
/usr/share/open-axiom/hypertex/pages/STRTBL.pht
|
text/x-tex
|
root:root
|
0o644
|
2.0 KB
|
/usr/share/open-axiom/hypertex/pages/SYMBOL.ht
|
text/x-tex
|
root:root
|
0o644
|
3.4 KB
|
/usr/share/open-axiom/hypertex/pages/SYMBOL.pht
|
text/x-tex
|
root:root
|
0o644
|
13.3 KB
|
/usr/share/open-axiom/hypertex/pages/TABLE.ht
|
text/x-tex
|
root:root
|
0o644
|
4.7 KB
|
/usr/share/open-axiom/hypertex/pages/TABLE.pht
|
text/x-tex
|
root:root
|
0o644
|
9.9 KB
|
/usr/share/open-axiom/hypertex/pages/TEXTFILE.ht
|
text/x-tex
|
root:root
|
0o644
|
2.4 KB
|
/usr/share/open-axiom/hypertex/pages/TEXTFILE.pht
|
text/x-tex
|
root:root
|
0o644
|
6.5 KB
|
/usr/share/open-axiom/hypertex/pages/UNISEG.ht
|
text/x-tex
|
root:root
|
0o644
|
1.9 KB
|
/usr/share/open-axiom/hypertex/pages/UNISEG.pht
|
text/x-tex
|
root:root
|
0o644
|
5.7 KB
|
/usr/share/open-axiom/hypertex/pages/UP.ht
|
text/x-tex
|
root:root
|
0o644
|
8.2 KB
|
/usr/share/open-axiom/hypertex/pages/UP.pht
|
text/x-tex
|
root:root
|
0o644
|
24.8 KB
|
/usr/share/open-axiom/hypertex/pages/VECTOR.ht
|
text/x-tex
|
root:root
|
0o644
|
3.7 KB
|
/usr/share/open-axiom/hypertex/pages/VECTOR.pht
|
text/x-tex
|
root:root
|
0o644
|
5.9 KB
|
/usr/share/open-axiom/hypertex/pages/VOID.ht
|
text/x-tex
|
root:root
|
0o644
|
1.6 KB
|
/usr/share/open-axiom/hypertex/pages/VOID.pht
|
text/x-tex
|
root:root
|
0o644
|
2.8 KB
|
/usr/share/open-axiom/hypertex/pages/WUTSET.ht
|
text/x-tex
|
root:root
|
0o644
|
4.0 KB
|
/usr/share/open-axiom/hypertex/pages/WUTSET.pht
|
text/x-tex
|
root:root
|
0o644
|
12.3 KB
|
/usr/share/open-axiom/hypertex/pages/XPBWPOLY.ht
|
text/x-tex
|
root:root
|
0o644
|
3.2 KB
|
/usr/share/open-axiom/hypertex/pages/XPBWPOLY.pht
|
text/x-tex
|
root:root
|
0o644
|
32.3 KB
|
/usr/share/open-axiom/hypertex/pages/XPOLY.ht
|
text/x-tex
|
root:root
|
0o644
|
2.4 KB
|
/usr/share/open-axiom/hypertex/pages/XPOLY.pht
|
text/x-tex
|
root:root
|
0o644
|
9.1 KB
|
/usr/share/open-axiom/hypertex/pages/XPR.ht
|
text/x-tex
|
root:root
|
0o644
|
2.9 KB
|
/usr/share/open-axiom/hypertex/pages/XPR.pht
|
text/x-tex
|
root:root
|
0o644
|
13.2 KB
|
/usr/share/open-axiom/hypertex/pages/ZDSOLVE.ht
|
text/x-tex
|
root:root
|
0o644
|
9.1 KB
|
/usr/share/open-axiom/hypertex/pages/ZDSOLVE.pht
|
text/x-tex
|
root:root
|
0o644
|
81.3 KB
|
/usr/share/open-axiom/hypertex/pages/ZLINDEP.ht
|
text/x-tex
|
root:root
|
0o644
|
2.6 KB
|
/usr/share/open-axiom/hypertex/pages/ZLINDEP.pht
|
text/x-tex
|
root:root
|
0o644
|
6.0 KB
|
/usr/share/open-axiom/hypertex/pages/algebra.ht
|
text/x-tex
|
root:root
|
0o644
|
1.2 KB
|
/usr/share/open-axiom/hypertex/pages/aspex.ht
|
text/x-tex
|
root:root
|
0o644
|
28.4 KB
|
/usr/share/open-axiom/hypertex/pages/basic.ht
|
text/x-tex
|
root:root
|
0o644
|
1.3 KB
|
/usr/share/open-axiom/hypertex/pages/bmcat.ht
|
text/x-tex
|
root:root
|
0o644
|
5.4 KB
|
/usr/share/open-axiom/hypertex/pages/coverex.ht
|
text/x-tex
|
root:root
|
0o644
|
9.4 KB
|
/usr/share/open-axiom/hypertex/pages/coverex.pht
|
text/x-tex
|
root:root
|
0o644
|
60.0 KB
|
/usr/share/open-axiom/hypertex/pages/evalex.ht
|
text/x-tex
|
root:root
|
0o644
|
2.7 KB
|
/usr/share/open-axiom/hypertex/pages/evalex.pht
|
text/x-tex
|
root:root
|
0o644
|
955 bytes
|
/usr/share/open-axiom/hypertex/pages/exdiff.ht
|
text/x-tex
|
root:root
|
0o644
|
3.1 KB
|
/usr/share/open-axiom/hypertex/pages/exdiff.pht
|
text/x-tex
|
root:root
|
0o644
|
7.3 KB
|
/usr/share/open-axiom/hypertex/pages/exint.ht
|
text/x-tex
|
root:root
|
0o644
|
6.1 KB
|
/usr/share/open-axiom/hypertex/pages/exint.pht
|
text/x-tex
|
root:root
|
0o644
|
11.0 KB
|
/usr/share/open-axiom/hypertex/pages/exlap.ht
|
text/x-tex
|
root:root
|
0o644
|
1.9 KB
|
/usr/share/open-axiom/hypertex/pages/exlap.pht
|
text/x-tex
|
root:root
|
0o644
|
3.9 KB
|
/usr/share/open-axiom/hypertex/pages/exlimit.ht
|
text/x-tex
|
root:root
|
0o644
|
5.1 KB
|
/usr/share/open-axiom/hypertex/pages/exlimit.pht
|
text/x-tex
|
root:root
|
0o644
|
8.2 KB
|
/usr/share/open-axiom/hypertex/pages/exmatrix.ht
|
text/x-tex
|
root:root
|
0o644
|
3.9 KB
|
/usr/share/open-axiom/hypertex/pages/exmatrix.pht
|
text/x-tex
|
root:root
|
0o644
|
12.5 KB
|
/usr/share/open-axiom/hypertex/pages/explot2d.ht
|
text/x-tex
|
root:root
|
0o644
|
1.8 KB
|
/usr/share/open-axiom/hypertex/pages/explot2d.pht
|
text/x-tex
|
root:root
|
0o644
|
2.5 KB
|
/usr/share/open-axiom/hypertex/pages/explot3d.ht
|
text/x-tex
|
root:root
|
0o644
|
2.0 KB
|
/usr/share/open-axiom/hypertex/pages/explot3d.pht
|
text/x-tex
|
root:root
|
0o644
|
3.4 KB
|
/usr/share/open-axiom/hypertex/pages/expose.ht
|
text/x-tex
|
root:root
|
0o644
|
4.9 KB
|
/usr/share/open-axiom/hypertex/pages/exseries.ht
|
text/x-tex
|
root:root
|
0o644
|
2.4 KB
|
/usr/share/open-axiom/hypertex/pages/exseries.pht
|
text/x-tex
|
root:root
|
0o644
|
8.0 KB
|
/usr/share/open-axiom/hypertex/pages/exsum.ht
|
text/x-tex
|
root:root
|
0o644
|
4.3 KB
|
/usr/share/open-axiom/hypertex/pages/exsum.pht
|
text/x-tex
|
root:root
|
0o644
|
8.0 KB
|
/usr/share/open-axiom/hypertex/pages/function.ht
|
text/x-tex
|
root:root
|
0o644
|
5.7 KB
|
/usr/share/open-axiom/hypertex/pages/function.pht
|
text/x-tex
|
root:root
|
0o644
|
18.8 KB
|
/usr/share/open-axiom/hypertex/pages/gloss.ht
|
text/x-tex
|
root:root
|
0o644
|
64.2 KB
|
/usr/share/open-axiom/hypertex/pages/graphics.ht
|
text/x-tex
|
root:root
|
0o644
|
36.5 KB
|
/usr/share/open-axiom/hypertex/pages/graphics.pht
|
text/x-tex
|
root:root
|
0o644
|
104.8 KB
|
/usr/share/open-axiom/hypertex/pages/grpthry.ht
|
text/x-tex
|
root:root
|
0o644
|
8.0 KB
|
/usr/share/open-axiom/hypertex/pages/grpthry.pht
|
text/x-tex
|
root:root
|
0o644
|
33.5 KB
|
/usr/share/open-axiom/hypertex/pages/help.ht
|
text/x-tex
|
root:root
|
0o644
|
5.2 KB
|
/usr/share/open-axiom/hypertex/pages/ht.db
|
text/plain
|
root:root
|
0o644
|
395.7 KB
|
/usr/share/open-axiom/hypertex/pages/hyperdoc.ht
|
text/x-tex
|
root:root
|
0o644
|
789 bytes
|
/usr/share/open-axiom/hypertex/pages/man0.ht
|
text/x-tex
|
root:root
|
0o644
|
2.2 KB
|
/usr/share/open-axiom/hypertex/pages/mapping.ht
|
text/x-tex
|
root:root
|
0o644
|
2.0 KB
|
/usr/share/open-axiom/hypertex/pages/nagaux.ht
|
text/x-tex
|
root:root
|
0o644
|
234.5 KB
|
/usr/share/open-axiom/hypertex/pages/nagc.ht
|
text/x-tex
|
root:root
|
0o644
|
163.5 KB
|
/usr/share/open-axiom/hypertex/pages/nagd.ht
|
text/x-tex
|
root:root
|
0o644
|
451.8 KB
|
/usr/share/open-axiom/hypertex/pages/nage.ht
|
text/x-tex
|
root:root
|
0o644
|
731.4 KB
|
/usr/share/open-axiom/hypertex/pages/nagf.ht
|
text/x-tex
|
root:root
|
0o644
|
502.8 KB
|
/usr/share/open-axiom/hypertex/pages/nagm.ht
|
text/x-tex
|
root:root
|
0o644
|
34.5 KB
|
/usr/share/open-axiom/hypertex/pages/nags.ht
|
text/x-tex
|
root:root
|
0o644
|
295.2 KB
|
/usr/share/open-axiom/hypertex/pages/nagx.ht
|
text/x-tex
|
root:root
|
0o644
|
52.6 KB
|
/usr/share/open-axiom/hypertex/pages/newuser.ht
|
text/x-tex
|
root:root
|
0o644
|
12.1 KB
|
/usr/share/open-axiom/hypertex/pages/numbers.ht
|
text/x-tex
|
root:root
|
0o644
|
10.3 KB
|
/usr/share/open-axiom/hypertex/pages/numbers.pht
|
text/x-tex
|
root:root
|
0o644
|
22.4 KB
|
/usr/share/open-axiom/hypertex/pages/patch.ht
|
text/x-tex
|
root:root
|
0o644
|
1.5 KB
|
/usr/share/open-axiom/hypertex/pages/polys.ht
|
text/x-tex
|
root:root
|
0o644
|
6.0 KB
|
/usr/share/open-axiom/hypertex/pages/polys.pht
|
text/x-tex
|
root:root
|
0o644
|
18.8 KB
|
/usr/share/open-axiom/hypertex/pages/record.ht
|
text/x-tex
|
root:root
|
0o644
|
2.4 KB
|
/usr/share/open-axiom/hypertex/pages/releaseNotes.ht
|
text/x-tex
|
root:root
|
0o644
|
5.0 KB
|
/usr/share/open-axiom/hypertex/pages/rootpage.ht
|
text/x-tex
|
root:root
|
0o644
|
14.1 KB
|
/usr/share/open-axiom/hypertex/pages/srchkey.ht
|
text/x-tex
|
root:root
|
0o644
|
6.6 KB
|
/usr/share/open-axiom/hypertex/pages/topics.ht
|
text/x-tex
|
root:root
|
0o644
|
4.3 KB
|
/usr/share/open-axiom/hypertex/pages/type.ht
|
text/x-tex
|
root:root
|
0o644
|
711 bytes
|
/usr/share/open-axiom/hypertex/pages/ug.ht
|
text/x-tex
|
root:root
|
0o644
|
1.9 KB
|
/usr/share/open-axiom/hypertex/pages/ug00.ht
|
text/x-tex
|
root:root
|
0o644
|
13.9 KB
|
/usr/share/open-axiom/hypertex/pages/ug01.ht
|
text/x-tex
|
root:root
|
0o644
|
86.4 KB
|
/usr/share/open-axiom/hypertex/pages/ug01.pht
|
text/x-tex
|
root:root
|
0o644
|
134.6 KB
|
/usr/share/open-axiom/hypertex/pages/ug02.ht
|
text/x-tex
|
root:root
|
0o644
|
78.8 KB
|
/usr/share/open-axiom/hypertex/pages/ug02.pht
|
text/x-tex
|
root:root
|
0o644
|
84.5 KB
|
/usr/share/open-axiom/hypertex/pages/ug03.ht
|
text/x-tex
|
root:root
|
0o644
|
19.6 KB
|
/usr/share/open-axiom/hypertex/pages/ug03.pht
|
text/x-tex
|
root:root
|
0o644
|
1.2 KB
|
/usr/share/open-axiom/hypertex/pages/ug04.ht
|
text/x-tex
|
root:root
|
0o644
|
22.4 KB
|
/usr/share/open-axiom/hypertex/pages/ug04.pht
|
text/x-tex
|
root:root
|
0o644
|
17.9 KB
|
/usr/share/open-axiom/hypertex/pages/ug05.ht
|
text/x-tex
|
root:root
|
0o644
|
57.2 KB
|
/usr/share/open-axiom/hypertex/pages/ug05.pht
|
text/x-tex
|
root:root
|
0o644
|
68.6 KB
|
/usr/share/open-axiom/hypertex/pages/ug06.ht
|
text/x-tex
|
root:root
|
0o644
|
95.8 KB
|
/usr/share/open-axiom/hypertex/pages/ug06.pht
|
text/x-tex
|
root:root
|
0o644
|
147.3 KB
|
/usr/share/open-axiom/hypertex/pages/ug07.ht
|
text/x-tex
|
root:root
|
0o644
|
118.2 KB
|
/usr/share/open-axiom/hypertex/pages/ug07.pht
|
text/x-tex
|
root:root
|
0o644
|
109.5 KB
|
/usr/share/open-axiom/hypertex/pages/ug08.ht
|
text/x-tex
|
root:root
|
0o644
|
167.7 KB
|
/usr/share/open-axiom/hypertex/pages/ug08.pht
|
text/x-tex
|
root:root
|
0o644
|
306.1 KB
|
/usr/share/open-axiom/hypertex/pages/ug10.ht
|
text/x-tex
|
root:root
|
0o644
|
39.7 KB
|
/usr/share/open-axiom/hypertex/pages/ug10.pht
|
text/x-tex
|
root:root
|
0o644
|
30.0 KB
|
/usr/share/open-axiom/hypertex/pages/ug11.ht
|
text/x-tex
|
root:root
|
0o644
|
34.9 KB
|
/usr/share/open-axiom/hypertex/pages/ug11.pht
|
text/x-tex
|
root:root
|
0o644
|
13.8 KB
|
/usr/share/open-axiom/hypertex/pages/ug12.ht
|
text/x-tex
|
root:root
|
0o644
|
35.4 KB
|
/usr/share/open-axiom/hypertex/pages/ug12.pht
|
text/x-tex
|
root:root
|
0o644
|
1.3 KB
|
/usr/share/open-axiom/hypertex/pages/ug13.ht
|
text/x-tex
|
root:root
|
0o644
|
55.9 KB
|
/usr/share/open-axiom/hypertex/pages/ug13.pht
|
text/x-tex
|
root:root
|
0o644
|
26.0 KB
|
/usr/share/open-axiom/hypertex/pages/ug14.ht
|
text/x-tex
|
root:root
|
0o644
|
38.1 KB
|
/usr/share/open-axiom/hypertex/pages/ug15.ht
|
text/x-tex
|
root:root
|
0o644
|
47.6 KB
|
/usr/share/open-axiom/hypertex/pages/ug15.pht
|
text/x-tex
|
root:root
|
0o644
|
31.6 KB
|
/usr/share/open-axiom/hypertex/pages/ug16.ht
|
text/x-tex
|
root:root
|
0o644
|
90.6 KB
|
/usr/share/open-axiom/hypertex/pages/ug21.ht
|
text/x-tex
|
root:root
|
0o644
|
36.4 KB
|
/usr/share/open-axiom/hypertex/pages/union.ht
|
text/x-tex
|
root:root
|
0o644
|
4.4 KB
|
/usr/share/open-axiom/hypertex/pages/util.ht
|
text/x-tex
|
root:root
|
0o644
|
20.7 KB
|
/usr/share/open-axiom/hypertex/pages/xmpexp.ht
|
text/x-tex
|
root:root
|
0o644
|
5.3 KB
|