/usr/share/acl2-6.3/books/xdoc/

This file is indexed.

/usr/share/acl2-6.3/books/xdoc/ is in acl2-books-certs 6.3-5.

This file is owned by root:root, with mode 0o755.

File	Mime Type	Owner	Mode	Size
`..`
`/usr/share/acl2-6.3/books/xdoc/all.cert`	text/plain	root:root	0o644	32.0 KB
`/usr/share/acl2-6.3/books/xdoc/autolink.cert`	text/plain	root:root	0o644	31.2 KB
`/usr/share/acl2-6.3/books/xdoc/base.cert`	text/plain	root:root	0o644	500 bytes
`/usr/share/acl2-6.3/books/xdoc/book-thms-example.cert`	text/plain	root:root	0o644	2.4 KB
`/usr/share/acl2-6.3/books/xdoc/book-thms.cert`	text/plain	root:root	0o644	227 bytes
`/usr/share/acl2-6.3/books/xdoc/debug.cert`	text/plain	root:root	0o644	26.8 KB
`/usr/share/acl2-6.3/books/xdoc/defsection-tests.cert`	text/plain	root:root	0o644	14.0 KB
`/usr/share/acl2-6.3/books/xdoc/defxdoc-raw.cert`	text/plain	root:root	0o644	5.2 KB
`/usr/share/acl2-6.3/books/xdoc/display.cert`	text/plain	root:root	0o644	26.6 KB
`/usr/share/acl2-6.3/books/xdoc/fmt-to-str.cert`	text/plain	root:root	0o644	2.0 KB
`/usr/share/acl2-6.3/books/xdoc/import-acl2doc.cert`	text/plain	root:root	0o644	4.6 MB
`/usr/share/acl2-6.3/books/xdoc/importance.cert`	text/plain	root:root	0o644	36.7 KB
`/usr/share/acl2-6.3/books/xdoc/names.cert`	text/plain	root:root	0o644	25.5 KB
`/usr/share/acl2-6.3/books/xdoc/parse-xml.cert`	text/plain	root:root	0o644	26.0 KB
`/usr/share/acl2-6.3/books/xdoc/portcullis.cert`	text/plain	root:root	0o644	664 bytes
`/usr/share/acl2-6.3/books/xdoc/prepare-topic.cert`	text/plain	root:root	0o644	26.3 KB
`/usr/share/acl2-6.3/books/xdoc/preprocess.cert`	text/plain	root:root	0o644	27.5 KB
`/usr/share/acl2-6.3/books/xdoc/save-classic.cert`	text/plain	root:root	0o644	27.7 KB
`/usr/share/acl2-6.3/books/xdoc/save-fancy.cert`	text/plain	root:root	0o644	30.6 KB
`/usr/share/acl2-6.3/books/xdoc/sort.cert`	text/plain	root:root	0o644	1.7 KB
`/usr/share/acl2-6.3/books/xdoc/spellcheck.cert`	text/plain	root:root	0o644	25.7 KB
`/usr/share/acl2-6.3/books/xdoc/top.cert`	text/plain	root:root	0o644	737 bytes
`/usr/share/acl2-6.3/books/xdoc/topics.cert`	text/html	root:root	0o644	69.1 KB
`/usr/share/acl2-6.3/books/xdoc/word-wrap.cert`	text/plain	root:root	0o644	25.5 KB
`/usr/share/acl2-6.3/books/xdoc/write-acl2-xdoc.cert`	text/plain	root:root	0o644	1.8 KB

acl2-books-certs 6.3-5 / usr / share / acl2-6.3 / books / xdoc