/usr/share/open-axiom/hypertex/bitmaps/Al.bitmap
|
text/plain
|
root:root
|
0o644
|
470 bytes
|
/usr/share/open-axiom/hypertex/bitmaps/ClickToSet.bitmap
|
text/plain
|
root:root
|
0o644
|
5.6 KB
|
/usr/share/open-axiom/hypertex/bitmaps/Continue.bitmap
|
text/plain
|
root:root
|
0o644
|
2.9 KB
|
/usr/share/open-axiom/hypertex/bitmaps/DoIt.bitmap
|
text/plain
|
root:root
|
0o644
|
1.6 KB
|
/usr/share/open-axiom/hypertex/bitmaps/Im.bitmap
|
text/plain
|
root:root
|
0o644
|
269 bytes
|
/usr/share/open-axiom/hypertex/bitmaps/Re.bitmap
|
text/plain
|
root:root
|
0o644
|
309 bytes
|
/usr/share/open-axiom/hypertex/bitmaps/Xdesp.bitmap
|
text/plain
|
root:root
|
0o644
|
284 bytes
|
/usr/share/open-axiom/hypertex/bitmaps/Xfbox.bitmap
|
text/plain
|
root:root
|
0o644
|
278 bytes
|
/usr/share/open-axiom/hypertex/bitmaps/Xfcirc.bitmap
|
text/plain
|
root:root
|
0o644
|
290 bytes
|
/usr/share/open-axiom/hypertex/bitmaps/Xfullbox.bitmap
|
text/plain
|
root:root
|
0o644
|
278 bytes
|
/usr/share/open-axiom/hypertex/bitmaps/Xfullcirc.bitmap
|
text/plain
|
root:root
|
0o644
|
290 bytes
|
/usr/share/open-axiom/hypertex/bitmaps/Xfullfbox.bitmap
|
text/plain
|
root:root
|
0o644
|
278 bytes
|
/usr/share/open-axiom/hypertex/bitmaps/Xfullfcirc.bitmap
|
text/plain
|
root:root
|
0o644
|
290 bytes
|
/usr/share/open-axiom/hypertex/bitmaps/Xgreybox.bitmap
|
text/plain
|
root:root
|
0o644
|
287 bytes
|
/usr/share/open-axiom/hypertex/bitmaps/Xgreycirc.bitmap
|
text/plain
|
root:root
|
0o644
|
290 bytes
|
/usr/share/open-axiom/hypertex/bitmaps/Xgreyfbox.bitmap
|
text/plain
|
root:root
|
0o644
|
290 bytes
|
/usr/share/open-axiom/hypertex/bitmaps/Xgreyfcirc.bitmap
|
text/plain
|
root:root
|
0o644
|
290 bytes
|
/usr/share/open-axiom/hypertex/bitmaps/Xhappy.bitmap
|
text/plain
|
root:root
|
0o644
|
281 bytes
|
/usr/share/open-axiom/hypertex/bitmaps/Xnobox.bitmap
|
text/plain
|
root:root
|
0o644
|
281 bytes
|
/usr/share/open-axiom/hypertex/bitmaps/Xnocirc.bitmap
|
text/plain
|
root:root
|
0o644
|
284 bytes
|
/usr/share/open-axiom/hypertex/bitmaps/Xnoface.bitmap
|
text/plain
|
root:root
|
0o644
|
284 bytes
|
/usr/share/open-axiom/hypertex/bitmaps/Xopenbox.bitmap
|
text/plain
|
root:root
|
0o644
|
278 bytes
|
/usr/share/open-axiom/hypertex/bitmaps/Xopencirc.bitmap
|
text/plain
|
root:root
|
0o644
|
290 bytes
|
/usr/share/open-axiom/hypertex/bitmaps/Xopenfbox.bitmap
|
text/plain
|
root:root
|
0o644
|
290 bytes
|
/usr/share/open-axiom/hypertex/bitmaps/Xopenfcirc.bitmap
|
text/plain
|
root:root
|
0o644
|
284 bytes
|
/usr/share/open-axiom/hypertex/bitmaps/Xperv.bitmap
|
text/plain
|
root:root
|
0o644
|
278 bytes
|
/usr/share/open-axiom/hypertex/bitmaps/Xsad.bitmap
|
text/plain
|
root:root
|
0o644
|
275 bytes
|
/usr/share/open-axiom/hypertex/bitmaps/Xtickbox.bitmap
|
text/plain
|
root:root
|
0o644
|
287 bytes
|
/usr/share/open-axiom/hypertex/bitmaps/Xtickcirc.bitmap
|
text/plain
|
root:root
|
0o644
|
290 bytes
|
/usr/share/open-axiom/hypertex/bitmaps/Xtickfbox.bitmap
|
text/plain
|
root:root
|
0o644
|
290 bytes
|
/usr/share/open-axiom/hypertex/bitmaps/Xtickfcirc.bitmap
|
text/plain
|
root:root
|
0o644
|
293 bytes
|
/usr/share/open-axiom/hypertex/bitmaps/Xxbox.bitmap
|
text/plain
|
root:root
|
0o644
|
278 bytes
|
/usr/share/open-axiom/hypertex/bitmaps/Xxcirc.bitmap
|
text/plain
|
root:root
|
0o644
|
281 bytes
|
/usr/share/open-axiom/hypertex/bitmaps/Xxfbox.bitmap
|
text/plain
|
root:root
|
0o644
|
281 bytes
|
/usr/share/open-axiom/hypertex/bitmaps/Xxfcirc.bitmap
|
text/plain
|
root:root
|
0o644
|
284 bytes
|
/usr/share/open-axiom/hypertex/bitmaps/aTx=b.bitmap
|
text/plain
|
root:root
|
0o644
|
1.3 KB
|
/usr/share/open-axiom/hypertex/bitmaps/ai.bitmap
|
text/plain
|
root:root
|
0o644
|
368 bytes
|
/usr/share/open-axiom/hypertex/bitmaps/aleph.bitmap
|
text/plain
|
root:root
|
0o644
|
324 bytes
|
/usr/share/open-axiom/hypertex/bitmaps/alpha.bitmap
|
text/plain
|
root:root
|
0o644
|
324 bytes
|
/usr/share/open-axiom/hypertex/bitmaps/alpha.xbm
|
text/plain
|
root:root
|
0o644
|
329 bytes
|
/usr/share/open-axiom/hypertex/bitmaps/alphaj.bitmap
|
text/plain
|
root:root
|
0o644
|
482 bytes
|
/usr/share/open-axiom/hypertex/bitmaps/angle.bitmap
|
text/plain
|
root:root
|
0o644
|
278 bytes
|
/usr/share/open-axiom/hypertex/bitmaps/anna_logo.xbm
|
text/plain
|
root:root
|
0o644
|
12.0 KB
|
/usr/share/open-axiom/hypertex/bitmaps/axiom.xbm
|
text/plain
|
root:root
|
0o644
|
78.7 KB
|
/usr/share/open-axiom/hypertex/bitmaps/axiom1.bitmap
|
text/plain
|
root:root
|
0o644
|
20.8 KB
|
/usr/share/open-axiom/hypertex/bitmaps/back.bitmap
|
text/plain
|
root:root
|
0o644
|
1.5 KB
|
/usr/share/open-axiom/hypertex/bitmaps/backslash.bitmap
|
text/plain
|
root:root
|
0o644
|
290 bytes
|
/usr/share/open-axiom/hypertex/bitmaps/beta.bitmap
|
text/plain
|
root:root
|
0o644
|
319 bytes
|
/usr/share/open-axiom/hypertex/bitmaps/beta.xbm
|
text/plain
|
root:root
|
0o644
|
326 bytes
|
/usr/share/open-axiom/hypertex/bitmaps/betaj.bitmap
|
text/plain
|
root:root
|
0o644
|
479 bytes
|
/usr/share/open-axiom/hypertex/bitmaps/bot.bitmap
|
text/plain
|
root:root
|
0o644
|
272 bytes
|
/usr/share/open-axiom/hypertex/bitmaps/bullet.bitmap
|
text/plain
|
root:root
|
0o644
|
314 bytes
|
/usr/share/open-axiom/hypertex/bitmaps/c02aff.bitmap
|
text/plain
|
root:root
|
0o644
|
3.7 KB
|
/usr/share/open-axiom/hypertex/bitmaps/c1.bitmap
|
text/plain
|
root:root
|
0o644
|
467 bytes
|
/usr/share/open-axiom/hypertex/bitmaps/chi.bitmap
|
text/plain
|
root:root
|
0o644
|
314 bytes
|
/usr/share/open-axiom/hypertex/bitmaps/ci.bitmap
|
text/plain
|
root:root
|
0o644
|
368 bytes
|
/usr/share/open-axiom/hypertex/bitmaps/clear.bitmap
|
text/plain
|
root:root
|
0o644
|
324 bytes
|
/usr/share/open-axiom/hypertex/bitmaps/clearall.bitmap
|
text/plain
|
root:root
|
0o644
|
653 bytes
|
/usr/share/open-axiom/hypertex/bitmaps/ctb.bitmap
|
text/plain
|
root:root
|
0o644
|
773 bytes
|
/usr/share/open-axiom/hypertex/bitmaps/d01aqf.xbm
|
text/plain
|
root:root
|
0o644
|
5.0 KB
|
/usr/share/open-axiom/hypertex/bitmaps/d01fcf.bitmap
|
text/plain
|
root:root
|
0o644
|
25.7 KB
|
/usr/share/open-axiom/hypertex/bitmaps/d01gaf1.bitmap
|
text/plain
|
root:root
|
0o644
|
3.3 KB
|
/usr/share/open-axiom/hypertex/bitmaps/d01gaf2.bitmap
|
text/plain
|
root:root
|
0o644
|
3.4 KB
|
/usr/share/open-axiom/hypertex/bitmaps/d02gaf.bitmap
|
text/plain
|
root:root
|
0o644
|
2.7 KB
|
/usr/share/open-axiom/hypertex/bitmaps/d03edf.bitmap
|
text/plain
|
root:root
|
0o644
|
91.6 KB
|
/usr/share/open-axiom/hypertex/bitmaps/d03edf1.bitmap
|
text/plain
|
root:root
|
0o644
|
23.3 KB
|
/usr/share/open-axiom/hypertex/bitmaps/d03eef.bitmap
|
text/plain
|
root:root
|
0o644
|
38.5 KB
|
/usr/share/open-axiom/hypertex/bitmaps/d03eef.xbm
|
text/plain
|
root:root
|
0o644
|
39.2 KB
|
/usr/share/open-axiom/hypertex/bitmaps/d03eef1.bitmap
|
text/plain
|
root:root
|
0o644
|
11.7 KB
|
/usr/share/open-axiom/hypertex/bitmaps/d03eef2.bitmap
|
text/plain
|
root:root
|
0o644
|
6.9 KB
|
/usr/share/open-axiom/hypertex/bitmaps/d03faf.bitmap
|
text/plain
|
root:root
|
0o644
|
14.5 KB
|
/usr/share/open-axiom/hypertex/bitmaps/d03faf.xbm
|
text/plain
|
root:root
|
0o644
|
13.4 KB
|
/usr/share/open-axiom/hypertex/bitmaps/del.bitmap
|
text/plain
|
root:root
|
0o644
|
272 bytes
|
/usr/share/open-axiom/hypertex/bitmaps/delta-cap.bitmap
|
text/plain
|
root:root
|
0o644
|
324 bytes
|
/usr/share/open-axiom/hypertex/bitmaps/delta.bitmap
|
text/plain
|
root:root
|
0o644
|
324 bytes
|
/usr/share/open-axiom/hypertex/bitmaps/delta.xbm
|
text/plain
|
root:root
|
0o644
|
329 bytes
|
/usr/share/open-axiom/hypertex/bitmaps/div.bitmap
|
text/plain
|
root:root
|
0o644
|
272 bytes
|
/usr/share/open-axiom/hypertex/bitmaps/door.bitmap
|
text/plain
|
root:root
|
0o644
|
1.5 KB
|
/usr/share/open-axiom/hypertex/bitmaps/dot.bitmap
|
text/plain
|
root:root
|
0o644
|
314 bytes
|
/usr/share/open-axiom/hypertex/bitmaps/down.bitmap
|
text/plain
|
root:root
|
0o644
|
1.5 KB
|
/usr/share/open-axiom/hypertex/bitmaps/down3.bitmap
|
text/plain
|
root:root
|
0o644
|
1.5 KB
|
/usr/share/open-axiom/hypertex/bitmaps/dr.bitmap
|
text/plain
|
root:root
|
0o644
|
269 bytes
|
/usr/share/open-axiom/hypertex/bitmaps/e01baf.bitmap
|
text/plain
|
root:root
|
0o644
|
3.3 KB
|
/usr/share/open-axiom/hypertex/bitmaps/e01baf1.bitmap
|
text/plain
|
root:root
|
0o644
|
1.7 KB
|
/usr/share/open-axiom/hypertex/bitmaps/e01bef.bitmap
|
text/plain
|
root:root
|
0o644
|
2.1 KB
|
/usr/share/open-axiom/hypertex/bitmaps/e01daf.bitmap
|
text/plain
|
root:root
|
0o644
|
2.3 KB
|
/usr/share/open-axiom/hypertex/bitmaps/e01daf1.bitmap
|
text/plain
|
root:root
|
0o644
|
5.9 KB
|
/usr/share/open-axiom/hypertex/bitmaps/e02adf.bitmap
|
text/plain
|
root:root
|
0o644
|
18.4 KB
|
/usr/share/open-axiom/hypertex/bitmaps/e02adf1.bitmap
|
text/plain
|
root:root
|
0o644
|
12.5 KB
|
/usr/share/open-axiom/hypertex/bitmaps/e02aef.bitmap
|
text/plain
|
root:root
|
0o644
|
8.4 KB
|
/usr/share/open-axiom/hypertex/bitmaps/e02agf.bitmap
|
text/plain
|
root:root
|
0o644
|
3.6 KB
|
/usr/share/open-axiom/hypertex/bitmaps/e02agf1.bitmap
|
text/plain
|
root:root
|
0o644
|
7.3 KB
|
/usr/share/open-axiom/hypertex/bitmaps/e02ahf.bitmap
|
text/plain
|
root:root
|
0o644
|
7.9 KB
|
/usr/share/open-axiom/hypertex/bitmaps/e02ahf1.bitmap
|
text/plain
|
root:root
|
0o644
|
7.2 KB
|
/usr/share/open-axiom/hypertex/bitmaps/e02ajf.bitmap
|
text/plain
|
root:root
|
0o644
|
6.7 KB
|
/usr/share/open-axiom/hypertex/bitmaps/e02baf.bitmap
|
text/plain
|
root:root
|
0o644
|
5.4 KB
|
/usr/share/open-axiom/hypertex/bitmaps/e02bdf.bitmap
|
text/plain
|
root:root
|
0o644
|
1.7 KB
|
/usr/share/open-axiom/hypertex/bitmaps/e02bef.bitmap
|
text/plain
|
root:root
|
0o644
|
4.8 KB
|
/usr/share/open-axiom/hypertex/bitmaps/e02daf.bitmap
|
text/plain
|
root:root
|
0o644
|
18.9 KB
|
/usr/share/open-axiom/hypertex/bitmaps/e02daf1.bitmap
|
text/plain
|
root:root
|
0o644
|
3.9 KB
|
/usr/share/open-axiom/hypertex/bitmaps/e04fdf.bitmap
|
text/plain
|
root:root
|
0o644
|
12.5 KB
|
/usr/share/open-axiom/hypertex/bitmaps/e04fdf1.bitmap
|
text/plain
|
root:root
|
0o644
|
4.5 KB
|
/usr/share/open-axiom/hypertex/bitmaps/e04mbf.bitmap
|
text/plain
|
root:root
|
0o644
|
15.3 KB
|
/usr/share/open-axiom/hypertex/bitmaps/e04naf.bitmap
|
text/plain
|
root:root
|
0o644
|
22.1 KB
|
/usr/share/open-axiom/hypertex/bitmaps/e04ucf.bitmap
|
text/plain
|
root:root
|
0o644
|
26.4 KB
|
/usr/share/open-axiom/hypertex/bitmaps/ell.bitmap
|
text/plain
|
root:root
|
0o644
|
314 bytes
|
/usr/share/open-axiom/hypertex/bitmaps/emptyset.bitmap
|
text/plain
|
root:root
|
0o644
|
339 bytes
|
/usr/share/open-axiom/hypertex/bitmaps/ep1.bitmap
|
text/plain
|
root:root
|
0o644
|
272 bytes
|
/usr/share/open-axiom/hypertex/bitmaps/ep2.bitmap
|
text/plain
|
root:root
|
0o644
|
272 bytes
|
/usr/share/open-axiom/hypertex/bitmaps/epi.bitmap
|
text/plain
|
root:root
|
0o644
|
272 bytes
|
/usr/share/open-axiom/hypertex/bitmaps/epp.bitmap
|
text/plain
|
root:root
|
0o644
|
272 bytes
|
/usr/share/open-axiom/hypertex/bitmaps/epsilon.bitmap
|
text/plain
|
root:root
|
0o644
|
334 bytes
|
/usr/share/open-axiom/hypertex/bitmaps/epsilon.xbm
|
text/plain
|
root:root
|
0o644
|
335 bytes
|
/usr/share/open-axiom/hypertex/bitmaps/eqpage.bitmap
|
text/plain
|
root:root
|
0o644
|
1.5 KB
|
/usr/share/open-axiom/hypertex/bitmaps/erase.bitmap
|
text/plain
|
root:root
|
0o644
|
272 bytes
|
/usr/share/open-axiom/hypertex/bitmaps/error.bitmap
|
text/plain
|
root:root
|
0o644
|
278 bytes
|
/usr/share/open-axiom/hypertex/bitmaps/eta.bitmap
|
text/plain
|
root:root
|
0o644
|
237 bytes
|
/usr/share/open-axiom/hypertex/bitmaps/exists.bitmap
|
text/plain
|
root:root
|
0o644
|
329 bytes
|
/usr/share/open-axiom/hypertex/bitmaps/exit.bitmap
|
text/plain
|
root:root
|
0o644
|
1.6 KB
|
/usr/share/open-axiom/hypertex/bitmaps/exit3d.bitmap
|
text/plain
|
root:root
|
0o644
|
1.6 KB
|
/usr/share/open-axiom/hypertex/bitmaps/exit3d_old.bitmap
|
text/plain
|
root:root
|
0o644
|
1.5 KB
|
/usr/share/open-axiom/hypertex/bitmaps/exit3di.bitmap
|
text/plain
|
root:root
|
0o644
|
1.5 KB
|
/usr/share/open-axiom/hypertex/bitmaps/f01qcf.bitmap
|
text/plain
|
root:root
|
0o644
|
5.4 KB
|
/usr/share/open-axiom/hypertex/bitmaps/f01qcf1.bitmap
|
text/plain
|
root:root
|
0o644
|
7.1 KB
|
/usr/share/open-axiom/hypertex/bitmaps/f01qcf2.bitmap
|
text/plain
|
root:root
|
0o644
|
2.7 KB
|
/usr/share/open-axiom/hypertex/bitmaps/f01qcf3.bitmap
|
text/plain
|
root:root
|
0o644
|
4.6 KB
|
/usr/share/open-axiom/hypertex/bitmaps/f01qdf.bitmap
|
text/plain
|
root:root
|
0o644
|
767 bytes
|
/usr/share/open-axiom/hypertex/bitmaps/f01qdf1.bitmap
|
text/plain
|
root:root
|
0o644
|
2.2 KB
|
/usr/share/open-axiom/hypertex/bitmaps/f01qdf2.bitmap
|
text/plain
|
root:root
|
0o644
|
485 bytes
|
/usr/share/open-axiom/hypertex/bitmaps/f01rdf.bitmap
|
text/plain
|
root:root
|
0o644
|
767 bytes
|
/usr/share/open-axiom/hypertex/bitmaps/f01rdf1.bitmap
|
text/plain
|
root:root
|
0o644
|
2.2 KB
|
/usr/share/open-axiom/hypertex/bitmaps/f01rdf2.bitmap
|
text/plain
|
root:root
|
0o644
|
2.3 KB
|
/usr/share/open-axiom/hypertex/bitmaps/fi.bitmap
|
text/plain
|
root:root
|
0o644
|
269 bytes
|
/usr/share/open-axiom/hypertex/bitmaps/forall.bitmap
|
text/plain
|
root:root
|
0o644
|
329 bytes
|
/usr/share/open-axiom/hypertex/bitmaps/fqr.bitmap
|
text/plain
|
root:root
|
0o644
|
473 bytes
|
/usr/share/open-axiom/hypertex/bitmaps/fr.bitmap
|
text/plain
|
root:root
|
0o644
|
309 bytes
|
/usr/share/open-axiom/hypertex/bitmaps/gamma-cap.bitmap
|
text/plain
|
root:root
|
0o644
|
324 bytes
|
/usr/share/open-axiom/hypertex/bitmaps/gamma.bitmap
|
text/plain
|
root:root
|
0o644
|
243 bytes
|
/usr/share/open-axiom/hypertex/bitmaps/gamma.xbm
|
text/plain
|
root:root
|
0o644
|
329 bytes
|
/usr/share/open-axiom/hypertex/bitmaps/gammak.bitmap
|
text/plain
|
root:root
|
0o644
|
380 bytes
|
/usr/share/open-axiom/hypertex/bitmaps/gi.bitmap
|
text/plain
|
root:root
|
0o644
|
269 bytes
|
/usr/share/open-axiom/hypertex/bitmaps/great=.bitmap
|
text/plain
|
root:root
|
0o644
|
319 bytes
|
/usr/share/open-axiom/hypertex/bitmaps/hbar.bitmap
|
text/plain
|
root:root
|
0o644
|
319 bytes
|
/usr/share/open-axiom/hypertex/bitmaps/help.bitmap
|
text/plain
|
root:root
|
0o644
|
1.5 KB
|
/usr/share/open-axiom/hypertex/bitmaps/help2.bitmap
|
text/plain
|
root:root
|
0o644
|
1.6 KB
|
/usr/share/open-axiom/hypertex/bitmaps/help3.bitmap
|
text/plain
|
root:root
|
0o644
|
1.5 KB
|
/usr/share/open-axiom/hypertex/bitmaps/help3d.bitmap
|
text/plain
|
root:root
|
0o644
|
1.6 KB
|
/usr/share/open-axiom/hypertex/bitmaps/help3d_old.bitmap
|
text/plain
|
root:root
|
0o644
|
1.5 KB
|
/usr/share/open-axiom/hypertex/bitmaps/help3di.bitmap
|
text/plain
|
root:root
|
0o644
|
1.5 KB
|
/usr/share/open-axiom/hypertex/bitmaps/home3d.bitmap
|
text/plain
|
root:root
|
0o644
|
1.6 KB
|
/usr/share/open-axiom/hypertex/bitmaps/home3d_old.bitmap
|
text/plain
|
root:root
|
0o644
|
1.5 KB
|
/usr/share/open-axiom/hypertex/bitmaps/home3di.bitmap
|
text/plain
|
root:root
|
0o644
|
1.5 KB
|
/usr/share/open-axiom/hypertex/bitmaps/imath.bitmap
|
text/plain
|
root:root
|
0o644
|
324 bytes
|
/usr/share/open-axiom/hypertex/bitmaps/infty.bitmap
|
text/plain
|
root:root
|
0o644
|
324 bytes
|
/usr/share/open-axiom/hypertex/bitmaps/infty.xbm
|
text/plain
|
root:root
|
0o644
|
278 bytes
|
/usr/share/open-axiom/hypertex/bitmaps/ing.bitmap
|
text/plain
|
root:root
|
0o644
|
476 bytes
|
/usr/share/open-axiom/hypertex/bitmaps/ing1.bitmap
|
text/plain
|
root:root
|
0o644
|
515 bytes
|
/usr/share/open-axiom/hypertex/bitmaps/ing2.bitmap
|
text/plain
|
root:root
|
0o644
|
1.6 KB
|
/usr/share/open-axiom/hypertex/bitmaps/int.bitmap
|
text/plain
|
root:root
|
0o644
|
314 bytes
|
/usr/share/open-axiom/hypertex/bitmaps/int1.xbm
|
text/plain
|
root:root
|
0o644
|
5.6 KB
|
/usr/share/open-axiom/hypertex/bitmaps/int10.xbm
|
text/plain
|
root:root
|
0o644
|
4.5 KB
|
/usr/share/open-axiom/hypertex/bitmaps/int11.xbm
|
text/plain
|
root:root
|
0o644
|
13.8 KB
|
/usr/share/open-axiom/hypertex/bitmaps/int12.xbm
|
text/plain
|
root:root
|
0o644
|
9.1 KB
|
/usr/share/open-axiom/hypertex/bitmaps/int13.xbm
|
text/plain
|
root:root
|
0o644
|
3.4 KB
|
/usr/share/open-axiom/hypertex/bitmaps/int2.xbm
|
text/plain
|
root:root
|
0o644
|
3.4 KB
|
/usr/share/open-axiom/hypertex/bitmaps/int3.xbm
|
text/plain
|
root:root
|
0o644
|
5.8 KB
|
/usr/share/open-axiom/hypertex/bitmaps/int4.xbm
|
text/plain
|
root:root
|
0o644
|
4.2 KB
|
/usr/share/open-axiom/hypertex/bitmaps/int5.xbm
|
text/plain
|
root:root
|
0o644
|
7.9 KB
|
/usr/share/open-axiom/hypertex/bitmaps/int6.xbm
|
text/plain
|
root:root
|
0o644
|
7.0 KB
|
/usr/share/open-axiom/hypertex/bitmaps/int7.xbm
|
text/plain
|
root:root
|
0o644
|
7.4 KB
|
/usr/share/open-axiom/hypertex/bitmaps/int8.xbm
|
text/plain
|
root:root
|
0o644
|
6.5 KB
|
/usr/share/open-axiom/hypertex/bitmaps/int9.xbm
|
text/plain
|
root:root
|
0o644
|
6.5 KB
|
/usr/share/open-axiom/hypertex/bitmaps/integral.bitmap
|
text/plain
|
root:root
|
0o644
|
440 bytes
|
/usr/share/open-axiom/hypertex/bitmaps/iota.bitmap
|
text/plain
|
root:root
|
0o644
|
319 bytes
|
/usr/share/open-axiom/hypertex/bitmaps/jmath.bitmap
|
text/plain
|
root:root
|
0o644
|
281 bytes
|
/usr/share/open-axiom/hypertex/bitmaps/kappa.bitmap
|
text/plain
|
root:root
|
0o644
|
324 bytes
|
/usr/share/open-axiom/hypertex/bitmaps/l1.bitmap
|
text/plain
|
root:root
|
0o644
|
467 bytes
|
/usr/share/open-axiom/hypertex/bitmaps/lambda-cap.bitmap
|
text/plain
|
root:root
|
0o644
|
329 bytes
|
/usr/share/open-axiom/hypertex/bitmaps/lambda.bitmap
|
text/plain
|
root:root
|
0o644
|
329 bytes
|
/usr/share/open-axiom/hypertex/bitmaps/lamdab.bitmap
|
text/plain
|
root:root
|
0o644
|
284 bytes
|
/usr/share/open-axiom/hypertex/bitmaps/lamdai.bitmap
|
text/plain
|
root:root
|
0o644
|
380 bytes
|
/usr/share/open-axiom/hypertex/bitmaps/lamdaj.bitmap
|
text/plain
|
root:root
|
0o644
|
482 bytes
|
/usr/share/open-axiom/hypertex/bitmaps/ldlt.bitmap
|
text/plain
|
root:root
|
0o644
|
875 bytes
|
/usr/share/open-axiom/hypertex/bitmaps/less=.bitmap
|
text/plain
|
root:root
|
0o644
|
329 bytes
|
/usr/share/open-axiom/hypertex/bitmaps/lj.bitmap
|
text/plain
|
root:root
|
0o644
|
269 bytes
|
/usr/share/open-axiom/hypertex/bitmaps/llt.bitmap
|
text/plain
|
root:root
|
0o644
|
773 bytes
|
/usr/share/open-axiom/hypertex/bitmaps/lt.bitmap
|
text/plain
|
root:root
|
0o644
|
470 bytes
|
/usr/share/open-axiom/hypertex/bitmaps/mask.bitmap
|
text/plain
|
root:root
|
0o644
|
317 bytes
|
/usr/share/open-axiom/hypertex/bitmaps/menudot.bitmap
|
text/plain
|
root:root
|
0o644
|
284 bytes
|
/usr/share/open-axiom/hypertex/bitmaps/mkm.bitmap
|
text/plain
|
root:root
|
0o644
|
1.0 KB
|
/usr/share/open-axiom/hypertex/bitmaps/mu.bitmap
|
text/plain
|
root:root
|
0o644
|
234 bytes
|
/usr/share/open-axiom/hypertex/bitmaps/mui.bitmap
|
text/plain
|
root:root
|
0o644
|
371 bytes
|
/usr/share/open-axiom/hypertex/bitmaps/muj.bitmap
|
text/plain
|
root:root
|
0o644
|
371 bytes
|
/usr/share/open-axiom/hypertex/bitmaps/mx.bitmap
|
text/plain
|
root:root
|
0o644
|
470 bytes
|
/usr/share/open-axiom/hypertex/bitmaps/my.bitmap
|
text/plain
|
root:root
|
0o644
|
470 bytes
|
/usr/share/open-axiom/hypertex/bitmaps/nabla.bitmap
|
text/plain
|
root:root
|
0o644
|
272 bytes
|
/usr/share/open-axiom/hypertex/bitmaps/naglogo.bitmap
|
text/plain
|
root:root
|
0o644
|
35.6 KB
|
/usr/share/open-axiom/hypertex/bitmaps/ncap.bitmap
|
text/plain
|
root:root
|
0o644
|
275 bytes
|
/usr/share/open-axiom/hypertex/bitmaps/neg.bitmap
|
text/plain
|
root:root
|
0o644
|
272 bytes
|
/usr/share/open-axiom/hypertex/bitmaps/newrho.bitmap
|
text/plain
|
root:root
|
0o644
|
281 bytes
|
/usr/share/open-axiom/hypertex/bitmaps/nl.bitmap
|
text/plain
|
root:root
|
0o644
|
368 bytes
|
/usr/share/open-axiom/hypertex/bitmaps/nn.bitmap
|
text/plain
|
root:root
|
0o644
|
470 bytes
|
/usr/share/open-axiom/hypertex/bitmaps/noop.bitmap
|
text/plain
|
root:root
|
0o644
|
1.6 KB
|
/usr/share/open-axiom/hypertex/bitmaps/noop3d.bitmap
|
text/plain
|
root:root
|
0o644
|
1.5 KB
|
/usr/share/open-axiom/hypertex/bitmaps/not=.bitmap
|
text/plain
|
root:root
|
0o644
|
319 bytes
|
/usr/share/open-axiom/hypertex/bitmaps/notequal.bitmap
|
text/plain
|
root:root
|
0o644
|
275 bytes
|
/usr/share/open-axiom/hypertex/bitmaps/notequal.xbm
|
text/plain
|
root:root
|
0o644
|
275 bytes
|
/usr/share/open-axiom/hypertex/bitmaps/nu.bitmap
|
text/plain
|
root:root
|
0o644
|
309 bytes
|
/usr/share/open-axiom/hypertex/bitmaps/nx.bitmap
|
text/plain
|
root:root
|
0o644
|
470 bytes
|
/usr/share/open-axiom/hypertex/bitmaps/ny.bitmap
|
text/plain
|
root:root
|
0o644
|
470 bytes
|
/usr/share/open-axiom/hypertex/bitmaps/ode1.xbm
|
text/plain
|
root:root
|
0o644
|
19.8 KB
|
/usr/share/open-axiom/hypertex/bitmaps/ode2.xbm
|
text/plain
|
root:root
|
0o644
|
21.8 KB
|
/usr/share/open-axiom/hypertex/bitmaps/ode3.xbm
|
text/plain
|
root:root
|
0o644
|
6.9 KB
|
/usr/share/open-axiom/hypertex/bitmaps/omega-cap.bitmap
|
text/plain
|
root:root
|
0o644
|
324 bytes
|
/usr/share/open-axiom/hypertex/bitmaps/omega.bitmap
|
text/plain
|
root:root
|
0o644
|
324 bytes
|
/usr/share/open-axiom/hypertex/bitmaps/omicron.bitmap
|
text/plain
|
root:root
|
0o644
|
334 bytes
|
/usr/share/open-axiom/hypertex/bitmaps/opt1.xbm
|
text/plain
|
root:root
|
0o644
|
5.2 KB
|
/usr/share/open-axiom/hypertex/bitmaps/opt2.xbm
|
text/plain
|
root:root
|
0o644
|
8.4 KB
|
/usr/share/open-axiom/hypertex/bitmaps/opt2c.xbm
|
text/plain
|
root:root
|
0o644
|
10.5 KB
|
/usr/share/open-axiom/hypertex/bitmaps/opt3.xbm
|
text/plain
|
root:root
|
0o644
|
3.5 KB
|
/usr/share/open-axiom/hypertex/bitmaps/opt3c1.xbm
|
text/plain
|
root:root
|
0o644
|
7.7 KB
|
/usr/share/open-axiom/hypertex/bitmaps/opt3c2.xbm
|
text/plain
|
root:root
|
0o644
|
15.4 KB
|
/usr/share/open-axiom/hypertex/bitmaps/opt4.xbm
|
text/plain
|
root:root
|
0o644
|
6.8 KB
|
/usr/share/open-axiom/hypertex/bitmaps/opt4c1.xbm
|
text/plain
|
root:root
|
0o644
|
23.0 KB
|
/usr/share/open-axiom/hypertex/bitmaps/opt4c2.xbm
|
text/plain
|
root:root
|
0o644
|
5.3 KB
|
/usr/share/open-axiom/hypertex/bitmaps/opt4c3.xbm
|
text/plain
|
root:root
|
0o644
|
84.2 KB
|
/usr/share/open-axiom/hypertex/bitmaps/opt5.xbm
|
text/plain
|
root:root
|
0o644
|
17.8 KB
|
/usr/share/open-axiom/hypertex/bitmaps/opt61.xbm
|
text/plain
|
root:root
|
0o644
|
21.7 KB
|
/usr/share/open-axiom/hypertex/bitmaps/opt62.xbm
|
text/plain
|
root:root
|
0o644
|
22.7 KB
|
/usr/share/open-axiom/hypertex/bitmaps/opt63.xbm
|
text/plain
|
root:root
|
0o644
|
22.9 KB
|
/usr/share/open-axiom/hypertex/bitmaps/parallel.bitmap
|
text/plain
|
root:root
|
0o644
|
287 bytes
|
/usr/share/open-axiom/hypertex/bitmaps/partial.bitmap
|
text/plain
|
root:root
|
0o644
|
334 bytes
|
/usr/share/open-axiom/hypertex/bitmaps/pelzel.bitmap
|
text/plain
|
root:root
|
0o644
|
731 bytes
|
/usr/share/open-axiom/hypertex/bitmaps/phi-cap.bitmap
|
text/plain
|
root:root
|
0o644
|
314 bytes
|
/usr/share/open-axiom/hypertex/bitmaps/phi.bitmap
|
text/plain
|
root:root
|
0o644
|
314 bytes
|
/usr/share/open-axiom/hypertex/bitmaps/phi.xbm
|
text/plain
|
root:root
|
0o644
|
323 bytes
|
/usr/share/open-axiom/hypertex/bitmaps/pi-cap.bitmap
|
text/plain
|
root:root
|
0o644
|
309 bytes
|
/usr/share/open-axiom/hypertex/bitmaps/pi.bitmap
|
text/plain
|
root:root
|
0o644
|
309 bytes
|
/usr/share/open-axiom/hypertex/bitmaps/pi.xbm
|
text/plain
|
root:root
|
0o644
|
269 bytes
|
/usr/share/open-axiom/hypertex/bitmaps/pick.bitmap
|
text/plain
|
root:root
|
0o644
|
275 bytes
|
/usr/share/open-axiom/hypertex/bitmaps/pick_old.bitmap
|
text/plain
|
root:root
|
0o644
|
281 bytes
|
/usr/share/open-axiom/hypertex/bitmaps/plusminus.xbm
|
text/plain
|
root:root
|
0o644
|
287 bytes
|
/usr/share/open-axiom/hypertex/bitmaps/prime.bitmap
|
text/plain
|
root:root
|
0o644
|
278 bytes
|
/usr/share/open-axiom/hypertex/bitmaps/prod.bitmap
|
text/plain
|
root:root
|
0o644
|
269 bytes
|
/usr/share/open-axiom/hypertex/bitmaps/psi-cap.bitmap
|
text/plain
|
root:root
|
0o644
|
314 bytes
|
/usr/share/open-axiom/hypertex/bitmaps/psi.bitmap
|
text/plain
|
root:root
|
0o644
|
314 bytes
|
/usr/share/open-axiom/hypertex/bitmaps/psi.xbm
|
text/plain
|
root:root
|
0o644
|
323 bytes
|
/usr/share/open-axiom/hypertex/bitmaps/px.bitmap
|
text/plain
|
root:root
|
0o644
|
470 bytes
|
/usr/share/open-axiom/hypertex/bitmaps/py.bitmap
|
text/plain
|
root:root
|
0o644
|
470 bytes
|
/usr/share/open-axiom/hypertex/bitmaps/quad.bitmap
|
text/plain
|
root:root
|
0o644
|
275 bytes
|
/usr/share/open-axiom/hypertex/bitmaps/quit.bitmap
|
text/plain
|
root:root
|
0o644
|
950 bytes
|
/usr/share/open-axiom/hypertex/bitmaps/return.bitmap
|
text/plain
|
root:root
|
0o644
|
1.5 KB
|
/usr/share/open-axiom/hypertex/bitmaps/return2.bitmap
|
text/plain
|
root:root
|
0o644
|
1.5 KB
|
/usr/share/open-axiom/hypertex/bitmaps/return3.bitmap
|
text/plain
|
root:root
|
0o644
|
1.6 KB
|
/usr/share/open-axiom/hypertex/bitmaps/rho.bitmap
|
text/plain
|
root:root
|
0o644
|
314 bytes
|
/usr/share/open-axiom/hypertex/bitmaps/rho=r.bitmap
|
text/plain
|
root:root
|
0o644
|
752 bytes
|
/usr/share/open-axiom/hypertex/bitmaps/rhosq=.bitmap
|
text/plain
|
root:root
|
0o644
|
2.5 KB
|
/usr/share/open-axiom/hypertex/bitmaps/s13aaf.bitmap
|
text/plain
|
root:root
|
0o644
|
4.7 KB
|
/usr/share/open-axiom/hypertex/bitmaps/s13aaf1.bitmap
|
text/plain
|
root:root
|
0o644
|
5.3 KB
|
/usr/share/open-axiom/hypertex/bitmaps/s13aaf2.bitmap
|
text/plain
|
root:root
|
0o644
|
983 bytes
|
/usr/share/open-axiom/hypertex/bitmaps/s13acf.bitmap
|
text/plain
|
root:root
|
0o644
|
8.0 KB
|
/usr/share/open-axiom/hypertex/bitmaps/s13adf.bitmap
|
text/plain
|
root:root
|
0o644
|
5.5 KB
|
/usr/share/open-axiom/hypertex/bitmaps/s14baf.bitmap
|
text/plain
|
root:root
|
0o644
|
15.5 KB
|
/usr/share/open-axiom/hypertex/bitmaps/s15adf.bitmap
|
text/plain
|
root:root
|
0o644
|
5.3 KB
|
/usr/share/open-axiom/hypertex/bitmaps/s15aef.bitmap
|
text/plain
|
root:root
|
0o644
|
4.6 KB
|
/usr/share/open-axiom/hypertex/bitmaps/s17acf.bitmap
|
text/plain
|
root:root
|
0o644
|
782 bytes
|
/usr/share/open-axiom/hypertex/bitmaps/s17adf.bitmap
|
text/plain
|
root:root
|
0o644
|
782 bytes
|
/usr/share/open-axiom/hypertex/bitmaps/s17aef.bitmap
|
text/plain
|
root:root
|
0o644
|
782 bytes
|
/usr/share/open-axiom/hypertex/bitmaps/s17aef1.bitmap
|
text/plain
|
root:root
|
0o644
|
785 bytes
|
/usr/share/open-axiom/hypertex/bitmaps/s17aff.bitmap
|
text/plain
|
root:root
|
0o644
|
782 bytes
|
/usr/share/open-axiom/hypertex/bitmaps/s17aff1.bitmap
|
text/plain
|
root:root
|
0o644
|
785 bytes
|
/usr/share/open-axiom/hypertex/bitmaps/s17dcf.bitmap
|
text/plain
|
root:root
|
0o644
|
1.0 KB
|
/usr/share/open-axiom/hypertex/bitmaps/s17def.bitmap
|
text/plain
|
root:root
|
0o644
|
1.0 KB
|
/usr/share/open-axiom/hypertex/bitmaps/s17dlf.bitmap
|
text/plain
|
root:root
|
0o644
|
2.1 KB
|
/usr/share/open-axiom/hypertex/bitmaps/s17dlf1.bitmap
|
text/plain
|
root:root
|
0o644
|
1.9 KB
|
/usr/share/open-axiom/hypertex/bitmaps/s17dlf2.bitmap
|
text/plain
|
root:root
|
0o644
|
1.9 KB
|
/usr/share/open-axiom/hypertex/bitmaps/s18acf.bitmap
|
text/plain
|
root:root
|
0o644
|
1.9 KB
|
/usr/share/open-axiom/hypertex/bitmaps/s18acf1.bitmap
|
text/plain
|
root:root
|
0o644
|
884 bytes
|
/usr/share/open-axiom/hypertex/bitmaps/s18adf.bitmap
|
text/plain
|
root:root
|
0o644
|
1.9 KB
|
/usr/share/open-axiom/hypertex/bitmaps/s18adf1.bitmap
|
text/plain
|
root:root
|
0o644
|
884 bytes
|
/usr/share/open-axiom/hypertex/bitmaps/s18aef.bitmap
|
text/plain
|
root:root
|
0o644
|
1.5 KB
|
/usr/share/open-axiom/hypertex/bitmaps/s18aef1.bitmap
|
text/plain
|
root:root
|
0o644
|
785 bytes
|
/usr/share/open-axiom/hypertex/bitmaps/s18aff.bitmap
|
text/plain
|
root:root
|
0o644
|
1.5 KB
|
/usr/share/open-axiom/hypertex/bitmaps/s18aff1.bitmap
|
text/plain
|
root:root
|
0o644
|
785 bytes
|
/usr/share/open-axiom/hypertex/bitmaps/s18dcf.bitmap
|
text/plain
|
root:root
|
0o644
|
1.2 KB
|
/usr/share/open-axiom/hypertex/bitmaps/s18def.bitmap
|
text/plain
|
root:root
|
0o644
|
1.1 KB
|
/usr/share/open-axiom/hypertex/bitmaps/s21baf.bitmap
|
text/plain
|
root:root
|
0o644
|
12.6 KB
|
/usr/share/open-axiom/hypertex/bitmaps/s21baf1.bitmap
|
text/plain
|
root:root
|
0o644
|
1.6 KB
|
/usr/share/open-axiom/hypertex/bitmaps/s21bbf.bitmap
|
text/plain
|
root:root
|
0o644
|
11.6 KB
|
/usr/share/open-axiom/hypertex/bitmaps/s21bbf1.bitmap
|
text/plain
|
root:root
|
0o644
|
3.5 KB
|
/usr/share/open-axiom/hypertex/bitmaps/s21bcf.bitmap
|
text/plain
|
root:root
|
0o644
|
13.2 KB
|
/usr/share/open-axiom/hypertex/bitmaps/s21bcf1.bitmap
|
text/plain
|
root:root
|
0o644
|
3.1 KB
|
/usr/share/open-axiom/hypertex/bitmaps/s21bdf.bitmap
|
text/plain
|
root:root
|
0o644
|
15.0 KB
|
/usr/share/open-axiom/hypertex/bitmaps/s21bdf1.bitmap
|
text/plain
|
root:root
|
0o644
|
4.2 KB
|
/usr/share/open-axiom/hypertex/bitmaps/sdown.bitmap
|
text/plain
|
root:root
|
0o644
|
473 bytes
|
/usr/share/open-axiom/hypertex/bitmaps/sdown3d.bitmap
|
text/plain
|
root:root
|
0o644
|
479 bytes
|
/usr/share/open-axiom/hypertex/bitmaps/sdown3dpr.bitmap
|
text/plain
|
root:root
|
0o644
|
485 bytes
|
/usr/share/open-axiom/hypertex/bitmaps/si-integral.bitmap
|
text/plain
|
root:root
|
0o644
|
1.3 KB
|
/usr/share/open-axiom/hypertex/bitmaps/sigma-cap.bitmap
|
text/plain
|
root:root
|
0o644
|
324 bytes
|
/usr/share/open-axiom/hypertex/bitmaps/sigma.bitmap
|
text/plain
|
root:root
|
0o644
|
324 bytes
|
/usr/share/open-axiom/hypertex/bitmaps/smile.bitmap
|
text/plain
|
root:root
|
0o644
|
953 bytes
|
/usr/share/open-axiom/hypertex/bitmaps/source.bitmap
|
text/plain
|
root:root
|
0o644
|
327 bytes
|
/usr/share/open-axiom/hypertex/bitmaps/subtwo.bitmap
|
text/plain
|
root:root
|
0o644
|
329 bytes
|
/usr/share/open-axiom/hypertex/bitmaps/sum.bitmap
|
text/plain
|
root:root
|
0o644
|
278 bytes
|
/usr/share/open-axiom/hypertex/bitmaps/sup.bitmap
|
text/plain
|
root:root
|
0o644
|
467 bytes
|
/usr/share/open-axiom/hypertex/bitmaps/sup3d.bitmap
|
text/plain
|
root:root
|
0o644
|
473 bytes
|
/usr/share/open-axiom/hypertex/bitmaps/sup3dpr.bitmap
|
text/plain
|
root:root
|
0o644
|
479 bytes
|
/usr/share/open-axiom/hypertex/bitmaps/surd.bitmap
|
text/plain
|
root:root
|
0o644
|
319 bytes
|
/usr/share/open-axiom/hypertex/bitmaps/tau.bitmap
|
text/plain
|
root:root
|
0o644
|
314 bytes
|
/usr/share/open-axiom/hypertex/bitmaps/tear.bitmap
|
text/plain
|
root:root
|
0o644
|
1.5 KB
|
/usr/share/open-axiom/hypertex/bitmaps/theta-cap.bitmap
|
text/plain
|
root:root
|
0o644
|
324 bytes
|
/usr/share/open-axiom/hypertex/bitmaps/theta.bitmap
|
text/plain
|
root:root
|
0o644
|
324 bytes
|
/usr/share/open-axiom/hypertex/bitmaps/top.bitmap
|
text/plain
|
root:root
|
0o644
|
272 bytes
|
/usr/share/open-axiom/hypertex/bitmaps/triangle.bitmap
|
text/plain
|
root:root
|
0o644
|
287 bytes
|
/usr/share/open-axiom/hypertex/bitmaps/uij.bitmap
|
text/plain
|
root:root
|
0o644
|
473 bytes
|
/usr/share/open-axiom/hypertex/bitmaps/uj.bitmap
|
text/plain
|
root:root
|
0o644
|
368 bytes
|
/usr/share/open-axiom/hypertex/bitmaps/unpick.bitmap
|
text/plain
|
root:root
|
0o644
|
281 bytes
|
/usr/share/open-axiom/hypertex/bitmaps/unpick_old.bitmap
|
text/plain
|
root:root
|
0o644
|
290 bytes
|
/usr/share/open-axiom/hypertex/bitmaps/up.bitmap
|
text/plain
|
root:root
|
0o644
|
1.5 KB
|
/usr/share/open-axiom/hypertex/bitmaps/up2.bitmap
|
text/plain
|
root:root
|
0o644
|
1.5 KB
|
/usr/share/open-axiom/hypertex/bitmaps/up3.bitmap
|
text/plain
|
root:root
|
0o644
|
1.5 KB
|
/usr/share/open-axiom/hypertex/bitmaps/up3d.bitmap
|
text/plain
|
root:root
|
0o644
|
1.5 KB
|
/usr/share/open-axiom/hypertex/bitmaps/up3di.bitmap
|
text/plain
|
root:root
|
0o644
|
1.5 KB
|
/usr/share/open-axiom/hypertex/bitmaps/updots.bitmap
|
text/plain
|
root:root
|
0o644
|
1.5 KB
|
/usr/share/open-axiom/hypertex/bitmaps/upsilon-cap.bitmap
|
text/plain
|
root:root
|
0o644
|
334 bytes
|
/usr/share/open-axiom/hypertex/bitmaps/upsilon.bitmap
|
text/plain
|
root:root
|
0o644
|
334 bytes
|
/usr/share/open-axiom/hypertex/bitmaps/wr.bitmap
|
text/plain
|
root:root
|
0o644
|
470 bytes
|
/usr/share/open-axiom/hypertex/bitmaps/x1.xbm
|
text/plain
|
root:root
|
0o644
|
1.5 KB
|
/usr/share/open-axiom/hypertex/bitmaps/xbar.bitmap
|
text/plain
|
root:root
|
0o644
|
275 bytes
|
/usr/share/open-axiom/hypertex/bitmaps/xe.xbm
|
text/plain
|
root:root
|
0o644
|
893 bytes
|
/usr/share/open-axiom/hypertex/bitmaps/xi-cap.bitmap
|
text/plain
|
root:root
|
0o644
|
309 bytes
|
/usr/share/open-axiom/hypertex/bitmaps/xi.bitmap
|
text/plain
|
root:root
|
0o644
|
234 bytes
|
/usr/share/open-axiom/hypertex/bitmaps/xii.bitmap
|
text/plain
|
root:root
|
0o644
|
272 bytes
|
/usr/share/open-axiom/hypertex/bitmaps/xiii.bitmap
|
text/plain
|
root:root
|
0o644
|
275 bytes
|
/usr/share/open-axiom/hypertex/bitmaps/xj.bitmap
|
text/plain
|
root:root
|
0o644
|
309 bytes
|
/usr/share/open-axiom/hypertex/bitmaps/xmax.bitmap
|
text/plain
|
root:root
|
0o644
|
674 bytes
|
/usr/share/open-axiom/hypertex/bitmaps/xmin.bitmap
|
text/plain
|
root:root
|
0o644
|
674 bytes
|
/usr/share/open-axiom/hypertex/bitmaps/xq.bitmap
|
text/plain
|
root:root
|
0o644
|
470 bytes
|
/usr/share/open-axiom/hypertex/bitmaps/xr.bitmap
|
text/plain
|
root:root
|
0o644
|
368 bytes
|
/usr/share/open-axiom/hypertex/bitmaps/xs.xbm
|
text/plain
|
root:root
|
0o644
|
1.1 KB
|
/usr/share/open-axiom/hypertex/bitmaps/y1.xbm
|
text/plain
|
root:root
|
0o644
|
5.9 KB
|
/usr/share/open-axiom/hypertex/bitmaps/y2.xbm
|
text/plain
|
root:root
|
0o644
|
7.1 KB
|
/usr/share/open-axiom/hypertex/bitmaps/y3.xbm
|
text/plain
|
root:root
|
0o644
|
4.4 KB
|
/usr/share/open-axiom/hypertex/bitmaps/ye.xbm
|
text/plain
|
root:root
|
0o644
|
968 bytes
|
/usr/share/open-axiom/hypertex/bitmaps/yi.bitmap
|
text/plain
|
root:root
|
0o644
|
269 bytes
|
/usr/share/open-axiom/hypertex/bitmaps/yr.bitmap
|
text/plain
|
root:root
|
0o644
|
368 bytes
|
/usr/share/open-axiom/hypertex/bitmaps/ys.xbm
|
text/plain
|
root:root
|
0o644
|
989 bytes
|
/usr/share/open-axiom/hypertex/bitmaps/zeta.bitmap
|
text/plain
|
root:root
|
0o644
|
240 bytes
|
/usr/share/open-axiom/hypertex/bitmaps/zetak.bitmap
|
text/plain
|
root:root
|
0o644
|
479 bytes
|
/usr/share/open-axiom/hypertex/bitmaps/zk.bitmap
|
text/plain
|
root:root
|
0o644
|
470 bytes
|