libexene-smlnj (110.79-8build1)

Details

Core information at a glance

Distribution
ubuntu
Origin
ubuntu-stonking
Repository
https://nl.archive.ubuntu.com/ubuntu
Codename
stonking
Component
universe
Source
smlnj
Architecture
amd64
Section
universe/devel
Priority
optional
Maintainer
Ubuntu Developers <[email protected]>

Size & integrity

Byte sizes and integrity verification

Installed size
3.7 kB
Size expected
813.8 kB
Size actual
813.8 kB
Size match

Dependencies

Required package dependencies

  • libcml-smlnj (= 110.79-8build1)
  • libcmlutil-smlnj (= 110.79-8build1)

Suggested packages

Recommended additional packages

  • None

Description

Concurrent ML library for the X Window System

Tags

Package classification tags

None

Checksums

Hash values and integrity verification status

TypeActualMatch
MD5624ac93a…54046cce
SHA-1023e5932…3afd50cd
SHA-25657f3d0db…cac38c5f
SHA-51266511b39…b5fd82c0

Contents

Files and directories included

.
usr
usr/lib
usr/lib/smlnj
usr/lib/smlnj/lib
usr/lib/smlnj/lib/eXene.cm
usr/lib/smlnj/lib/eXene.cm/.cm
usr/lib/smlnj/lib/eXene.cm/.cm/x86-unix
usr/lib/smlnj/lib/eXene.cm/.cm/x86-unix/eXene.cm
usr/share
usr/share/doc
usr/share/doc/libexene-smlnj
usr/share/doc/libexene-smlnj/README
usr/share/doc/libexene-smlnj/README-0.5.gz
usr/share/doc/libexene-smlnj/README-1.0
usr/share/doc/libexene-smlnj/copyright
usr/share/doc/libexene-smlnj/examples
usr/share/doc/libexene-smlnj/examples/README
usr/share/doc/libexene-smlnj/examples/add
usr/share/doc/libexene-smlnj/examples/add/README
usr/share/doc/libexene-smlnj/examples/add/add.sml
usr/share/doc/libexene-smlnj/examples/add/answer.sml
usr/share/doc/libexene-smlnj/examples/add/calc.sml
usr/share/doc/libexene-smlnj/examples/add/images.sml
usr/share/doc/libexene-smlnj/examples/add/load
usr/share/doc/libexene-smlnj/examples/add/scene.sml
usr/share/doc/libexene-smlnj/examples/add/sources.cm
usr/share/doc/libexene-smlnj/examples/add/splash.sml
usr/share/doc/libexene-smlnj/examples/basicwin
usr/share/doc/libexene-smlnj/examples/basicwin/README
usr/share/doc/libexene-smlnj/examples/basicwin/basicwin.sml
usr/share/doc/libexene-smlnj/examples/basicwin/export.sml
usr/share/doc/libexene-smlnj/examples/basicwin/icon-bitmap.sml
usr/share/doc/libexene-smlnj/examples/basicwin/icon_bitmap
usr/share/doc/libexene-smlnj/examples/basicwin/interp
usr/share/doc/libexene-smlnj/examples/basicwin/load
usr/share/doc/libexene-smlnj/examples/basicwin/sources.cm
usr/share/doc/libexene-smlnj/examples/basicwin/test.sh
usr/share/doc/libexene-smlnj/examples/bitmap
usr/share/doc/libexene-smlnj/examples/bitmap/README
usr/share/doc/libexene-smlnj/examples/bitmap/bitmap.sml
usr/share/doc/libexene-smlnj/examples/bitmap/bitmapedit.sml
usr/share/doc/libexene-smlnj/examples/bitmap/pixmap.sml
usr/share/doc/libexene-smlnj/examples/bounce
usr/share/doc/libexene-smlnj/examples/bounce/README
usr/share/doc/libexene-smlnj/examples/bounce/ball.sml
usr/share/doc/libexene-smlnj/examples/bounce/bdm.sml
usr/share/doc/libexene-smlnj/examples/bounce/bounce-dm.sml
usr/share/doc/libexene-smlnj/examples/bounce/bounce.sml
usr/share/doc/libexene-smlnj/examples/bounce/buffer.sml
usr/share/doc/libexene-smlnj/examples/bounce/heads.sml
usr/share/doc/libexene-smlnj/examples/bounce/load
usr/share/doc/libexene-smlnj/examples/bounce/menu.sml
usr/share/doc/libexene-smlnj/examples/bounce/sources.cm
usr/share/doc/libexene-smlnj/examples/bricks
usr/share/doc/libexene-smlnj/examples/bricks/README
usr/share/doc/libexene-smlnj/examples/bricks/badbricks.sml
usr/share/doc/libexene-smlnj/examples/bricks/brick.sml
usr/share/doc/libexene-smlnj/examples/bricks/brickview.sml
usr/share/doc/libexene-smlnj/examples/bricks/export.sml
usr/share/doc/libexene-smlnj/examples/bricks/load
usr/share/doc/libexene-smlnj/examples/bricks/sources.cm
usr/share/doc/libexene-smlnj/examples/bricks/util.sml
usr/share/doc/libexene-smlnj/examples/bricks/wall.sml
usr/share/doc/libexene-smlnj/examples/calc
usr/share/doc/libexene-smlnj/examples/calc/README
usr/share/doc/libexene-smlnj/examples/calc/acc.sml
usr/share/doc/libexene-smlnj/examples/calc/calc.sml
usr/share/doc/libexene-smlnj/examples/calc/load
usr/share/doc/libexene-smlnj/examples/calc/main.sml
usr/share/doc/libexene-smlnj/examples/calc/sources.cm
usr/share/doc/libexene-smlnj/examples/explode
usr/share/doc/libexene-smlnj/examples/explode/explode.sml
usr/share/doc/libexene-smlnj/examples/mixer
usr/share/doc/libexene-smlnj/examples/mixer/README
usr/share/doc/libexene-smlnj/examples/mixer/color-state.sml
usr/share/doc/libexene-smlnj/examples/mixer/load
usr/share/doc/libexene-smlnj/examples/mixer/mixer.sml
usr/share/doc/libexene-smlnj/examples/mixer/sources.cm
usr/share/doc/libexene-smlnj/examples/mixer/spot.sml
usr/share/doc/libexene-smlnj/examples/ml-viewer
usr/share/doc/libexene-smlnj/examples/ml-viewer/data
usr/share/doc/libexene-smlnj/examples/ml-viewer/data/nodes.dot
usr/share/doc/libexene-smlnj/examples/ml-viewer/data/raw-nodes.dot
usr/share/doc/libexene-smlnj/examples/ml-viewer/data/raw-nodes.dot.sav
usr/share/doc/libexene-smlnj/examples/ml-viewer/data/s.dot
usr/share/doc/libexene-smlnj/examples/ml-viewer/data/simple.dot
usr/share/doc/libexene-smlnj/examples/ml-viewer/data/src
usr/share/doc/libexene-smlnj/examples/ml-viewer/data/src/absyn.sig
usr/share/doc/libexene-smlnj/examples/ml-viewer/data/src/absyn.sml
usr/share/doc/libexene-smlnj/examples/ml-viewer/data/src/base.sig
usr/share/doc/libexene-smlnj/examples/ml-viewer/data/src/core.sml
usr/share/doc/libexene-smlnj/examples/ml-viewer/data/src/coreutils.sml
usr/share/doc/libexene-smlnj/examples/ml-viewer/data/src/export.sml
usr/share/doc/libexene-smlnj/examples/ml-viewer/data/src/grammar.sml
usr/share/doc/libexene-smlnj/examples/ml-viewer/data/src/graph.sml
usr/share/doc/libexene-smlnj/examples/ml-viewer/data/src/hdr.sml
usr/share/doc/libexene-smlnj/examples/ml-viewer/data/src/join.sml
usr/share/doc/libexene-smlnj/examples/ml-viewer/data/src/lalr.sml
usr/share/doc/libexene-smlnj/examples/ml-viewer/data/src/link.sml
usr/share/doc/libexene-smlnj/examples/ml-viewer/data/src/load.sml
usr/share/doc/libexene-smlnj/examples/ml-viewer/data/src/look.sml
usr/share/doc/libexene-smlnj/examples/ml-viewer/data/src/lrtable.sml
usr/share/doc/libexene-smlnj/examples/ml-viewer/data/src/mklrtable.sml
usr/share/doc/libexene-smlnj/examples/ml-viewer/data/src/mkprstruct.sml
usr/share/doc/libexene-smlnj/examples/ml-viewer/data/src/parse.sml
usr/share/doc/libexene-smlnj/examples/ml-viewer/data/src/parser1.sml
usr/share/doc/libexene-smlnj/examples/ml-viewer/data/src/parser2.sml
usr/share/doc/libexene-smlnj/examples/ml-viewer/data/src/shrink.sml
usr/share/doc/libexene-smlnj/examples/ml-viewer/data/src/sigs.sml
usr/share/doc/libexene-smlnj/examples/ml-viewer/data/src/stream.sml
usr/share/doc/libexene-smlnj/examples/ml-viewer/data/src/utils.sig
usr/share/doc/libexene-smlnj/examples/ml-viewer/data/src/utils.sml
usr/share/doc/libexene-smlnj/examples/ml-viewer/data/src/verbose.sml
usr/share/doc/libexene-smlnj/examples/ml-viewer/data/src/yacc-grm.sig
usr/share/doc/libexene-smlnj/examples/ml-viewer/data/src/yacc-grm.sml
usr/share/doc/libexene-smlnj/examples/ml-viewer/data/src/yacc-lex.sml
usr/share/doc/libexene-smlnj/examples/ml-viewer/data/src/yacc.sml
usr/share/doc/libexene-smlnj/examples/ml-viewer/delta
usr/share/doc/libexene-smlnj/examples/ml-viewer/graph
usr/share/doc/libexene-smlnj/examples/ml-viewer/graph/agraph-sig.sml
usr/share/doc/libexene-smlnj/examples/ml-viewer/graph/agraph.sml
usr/share/doc/libexene-smlnj/examples/ml-viewer/graph/attr-sig.sml
usr/share/doc/libexene-smlnj/examples/ml-viewer/graph/attr.sml
usr/share/doc/libexene-smlnj/examples/ml-viewer/graph/graph-sig.sml
usr/share/doc/libexene-smlnj/examples/ml-viewer/graph/graph.l
usr/share/doc/libexene-smlnj/examples/ml-viewer/graph/graph.l.sml
usr/share/doc/libexene-smlnj/examples/ml-viewer/graph/graph.sml
usr/share/doc/libexene-smlnj/examples/ml-viewer/graph/graph.y
usr/share/doc/libexene-smlnj/examples/ml-viewer/graph/graph.y.desc
usr/share/doc/libexene-smlnj/examples/ml-viewer/graph/graph.y.sig
usr/share/doc/libexene-smlnj/examples/ml-viewer/graph/graph.y.sml
usr/share/doc/libexene-smlnj/examples/ml-viewer/graph/graphio-sig.sml
usr/share/doc/libexene-smlnj/examples/ml-viewer/graph/graphio.sml
usr/share/doc/libexene-smlnj/examples/ml-viewer/graph/load
usr/share/doc/libexene-smlnj/examples/ml-viewer/graph/mlyacc-base.sml
usr/share/doc/libexene-smlnj/examples/ml-viewer/graph/modgraph-sig.sml
usr/share/doc/libexene-smlnj/examples/ml-viewer/graph/modgraph.sml
usr/share/doc/libexene-smlnj/examples/ml-viewer/graph/mrs
usr/share/doc/libexene-smlnj/examples/ml-viewer/graph/sources.sc
usr/share/doc/libexene-smlnj/examples/ml-viewer/graph/tokens.sml
usr/share/doc/libexene-smlnj/examples/ml-viewer/graph/tst.sml
usr/share/doc/libexene-smlnj/examples/ml-viewer/graph-view
usr/share/doc/libexene-smlnj/examples/ml-viewer/graph-view/load
usr/share/doc/libexene-smlnj/examples/ml-viewer/graph-view/rgeometry.sml
usr/share/doc/libexene-smlnj/examples/ml-viewer/graph-view/save
usr/share/doc/libexene-smlnj/examples/ml-viewer/graph-view/save/vattr.sml
usr/share/doc/libexene-smlnj/examples/ml-viewer/graph-view/save/vgraphaux.sml
usr/share/doc/libexene-smlnj/examples/ml-viewer/graph-view/save/viewer.sml
usr/share/doc/libexene-smlnj/examples/ml-viewer/graph-view/vattr.sml
usr/share/doc/libexene-smlnj/examples/ml-viewer/graph-view/vgraph-sig.sml.sav
usr/share/doc/libexene-smlnj/examples/ml-viewer/graph-view/vgraph.sml
usr/share/doc/libexene-smlnj/examples/ml-viewer/graph-view/vgraphaux.sml
usr/share/doc/libexene-smlnj/examples/ml-viewer/graph-view/view.sml
usr/share/doc/libexene-smlnj/examples/ml-viewer/graph-view/viewer.sml
usr/share/doc/libexene-smlnj/examples/ml-viewer/graph-view/viewer.sml.sav
usr/share/doc/libexene-smlnj/examples/ml-viewer/graph-view/viewfont.sml
usr/share/doc/libexene-smlnj/examples/ml-viewer/graphs
usr/share/doc/libexene-smlnj/examples/ml-viewer/library
usr/share/doc/libexene-smlnj/examples/ml-viewer/library/array-qsort.sml
usr/share/doc/libexene-smlnj/examples/ml-viewer/library/array-sort-sig.sml
usr/share/doc/libexene-smlnj/examples/ml-viewer/library/array2-sig.sml
usr/share/doc/libexene-smlnj/examples/ml-viewer/library/array2.sml
usr/share/doc/libexene-smlnj/examples/ml-viewer/library/binary-dict.sml
usr/share/doc/libexene-smlnj/examples/ml-viewer/library/binary-set.sml
usr/share/doc/libexene-smlnj/examples/ml-viewer/library/charset-sig.sml
usr/share/doc/libexene-smlnj/examples/ml-viewer/library/charset.sml
usr/share/doc/libexene-smlnj/examples/ml-viewer/library/ctype-sig.sml
usr/share/doc/libexene-smlnj/examples/ml-viewer/library/ctype.sml
usr/share/doc/libexene-smlnj/examples/ml-viewer/library/dict-sig.sml
usr/share/doc/libexene-smlnj/examples/ml-viewer/library/dynamic-array-sig.sml
usr/share/doc/libexene-smlnj/examples/ml-viewer/library/dynamic-array.sml
usr/share/doc/libexene-smlnj/examples/ml-viewer/library/fifo-sig.sml
usr/share/doc/libexene-smlnj/examples/ml-viewer/library/fifo.sml
usr/share/doc/libexene-smlnj/examples/ml-viewer/library/finalize-sig.sml
usr/share/doc/libexene-smlnj/examples/ml-viewer/library/finalizer.sml
usr/share/doc/libexene-smlnj/examples/ml-viewer/library/format-sig.sml
usr/share/doc/libexene-smlnj/examples/ml-viewer/library/format.sml
usr/share/doc/libexene-smlnj/examples/ml-viewer/library/hash-key-sig.sml
usr/share/doc/libexene-smlnj/examples/ml-viewer/library/hash-string.sml
usr/share/doc/libexene-smlnj/examples/ml-viewer/library/hash-table-sig.sml
usr/share/doc/libexene-smlnj/examples/ml-viewer/library/hash-table.sml
usr/share/doc/libexene-smlnj/examples/ml-viewer/library/intmap-sig.sml
usr/share/doc/libexene-smlnj/examples/ml-viewer/library/intmap.sml
usr/share/doc/libexene-smlnj/examples/ml-viewer/library/intset-sig.sml
usr/share/doc/libexene-smlnj/examples/ml-viewer/library/intset.sml
usr/share/doc/libexene-smlnj/examples/ml-viewer/library/iterate-sig.sml
usr/share/doc/libexene-smlnj/examples/ml-viewer/library/iterate.sml
usr/share/doc/libexene-smlnj/examples/ml-viewer/library/lib-base-sig.sml
usr/share/doc/libexene-smlnj/examples/ml-viewer/library/lib-base.sml
usr/share/doc/libexene-smlnj/examples/ml-viewer/library/lib-sg.sml
usr/share/doc/libexene-smlnj/examples/ml-viewer/library/list-format-sig.sml
usr/share/doc/libexene-smlnj/examples/ml-viewer/library/list-format.sml
usr/share/doc/libexene-smlnj/examples/ml-viewer/library/list-mergesort.sml
usr/share/doc/libexene-smlnj/examples/ml-viewer/library/list-util-sig.sml
usr/share/doc/libexene-smlnj/examples/ml-viewer/library/list-util.sml
usr/share/doc/libexene-smlnj/examples/ml-viewer/library/listsort-sig.sml
usr/share/doc/libexene-smlnj/examples/ml-viewer/library/makestring-sig.sml
usr/share/doc/libexene-smlnj/examples/ml-viewer/library/makestring.sml
usr/share/doc/libexene-smlnj/examples/ml-viewer/library/name-sig.sml
usr/share/doc/libexene-smlnj/examples/ml-viewer/library/name.sml
usr/share/doc/libexene-smlnj/examples/ml-viewer/library/ord-key-sig.sml
usr/share/doc/libexene-smlnj/examples/ml-viewer/library/ord-set-sig.sml
usr/share/doc/libexene-smlnj/examples/ml-viewer/library/pathname-sig.sml
usr/share/doc/libexene-smlnj/examples/ml-viewer/library/pathname.sml
usr/share/doc/libexene-smlnj/examples/ml-viewer/library/poly-hash-table-sig.sml
usr/share/doc/libexene-smlnj/examples/ml-viewer/library/poly-hash-table.sml
usr/share/doc/libexene-smlnj/examples/ml-viewer/library/queue-sig.sml
usr/share/doc/libexene-smlnj/examples/ml-viewer/library/queue.sml
usr/share/doc/libexene-smlnj/examples/ml-viewer/library/random-sig.sml
usr/share/doc/libexene-smlnj/examples/ml-viewer/library/random.sml
usr/share/doc/libexene-smlnj/examples/ml-viewer/library/splay-dict.sml
usr/share/doc/libexene-smlnj/examples/ml-viewer/library/splay-set.sml
usr/share/doc/libexene-smlnj/examples/ml-viewer/library/splaytree-sig.sml
usr/share/doc/libexene-smlnj/examples/ml-viewer/library/splaytree.sml
usr/share/doc/libexene-smlnj/examples/ml-viewer/library/static-array-sig.sml
usr/share/doc/libexene-smlnj/examples/ml-viewer/library/string-cvt-sig.sml
usr/share/doc/libexene-smlnj/examples/ml-viewer/library/string-cvt.sml
usr/share/doc/libexene-smlnj/examples/ml-viewer/library/string-util-sig.sml
usr/share/doc/libexene-smlnj/examples/ml-viewer/library/string-util.sml
usr/share/doc/libexene-smlnj/examples/ml-viewer/library/time-limit.sml
usr/share/doc/libexene-smlnj/examples/ml-viewer/library/unix-env-sig.sml
usr/share/doc/libexene-smlnj/examples/ml-viewer/library/unix-env.sml
usr/share/doc/libexene-smlnj/examples/ml-viewer/library/unix-path-sig.sml
usr/share/doc/libexene-smlnj/examples/ml-viewer/library/unix-path.sml
usr/share/doc/libexene-smlnj/examples/ml-viewer/list
usr/share/doc/libexene-smlnj/examples/ml-viewer/main
usr/share/doc/libexene-smlnj/examples/ml-viewer/main/load
usr/share/doc/libexene-smlnj/examples/ml-viewer/main/loadall
usr/share/doc/libexene-smlnj/examples/ml-viewer/main/main.sml
usr/share/doc/libexene-smlnj/examples/ml-viewer/text-view
usr/share/doc/libexene-smlnj/examples/ml-viewer/text-view/README
usr/share/doc/libexene-smlnj/examples/ml-viewer/text-view/TODO
usr/share/doc/libexene-smlnj/examples/ml-viewer/text-view/keywords.sml
usr/share/doc/libexene-smlnj/examples/ml-viewer/text-view/lexer
usr/share/doc/libexene-smlnj/examples/ml-viewer/text-view/lexer.sml
usr/share/doc/libexene-smlnj/examples/ml-viewer/text-view/load
usr/share/doc/libexene-smlnj/examples/ml-viewer/text-view/load-file.sml
usr/share/doc/libexene-smlnj/examples/ml-viewer/text-view/load-test
usr/share/doc/libexene-smlnj/examples/ml-viewer/text-view/ml-viewer.sml
usr/share/doc/libexene-smlnj/examples/ml-viewer/text-view/scroll-viewer.sml
usr/share/doc/libexene-smlnj/examples/ml-viewer/text-view/test.sml
usr/share/doc/libexene-smlnj/examples/ml-viewer/text-view/text-canvas-sig.sml
usr/share/doc/libexene-smlnj/examples/ml-viewer/text-view/text-canvas.sml
usr/share/doc/libexene-smlnj/examples/ml-viewer/text-view/text-display-sig.sml
usr/share/doc/libexene-smlnj/examples/ml-viewer/text-view/text-display.sml
usr/share/doc/libexene-smlnj/examples/ml-viewer/text-view/text-pool-sig.sml
usr/share/doc/libexene-smlnj/examples/ml-viewer/text-view/view-buffer.sml
usr/share/doc/libexene-smlnj/examples/ml-viewer/text-view/viewer.sml
usr/share/doc/libexene-smlnj/examples/ml-viewer/util
usr/share/doc/libexene-smlnj/examples/ml-viewer/util/get.sml
usr/share/doc/libexene-smlnj/examples/ml-viewer/util/load
usr/share/doc/libexene-smlnj/examples/ml-viewer/util/mlyacc-base.sml
usr/share/doc/libexene-smlnj/examples/nbody
usr/share/doc/libexene-smlnj/examples/nbody/README
usr/share/doc/libexene-smlnj/examples/nbody/display.sml
usr/share/doc/libexene-smlnj/examples/nbody/main.sml
usr/share/doc/libexene-smlnj/examples/nbody/simul.sig
usr/share/doc/libexene-smlnj/examples/nbody/simul.sml
usr/share/doc/libexene-smlnj/examples/nbody/sources.cm
usr/share/doc/libexene-smlnj/examples/plaid
usr/share/doc/libexene-smlnj/examples/plaid/plaid.sml
usr/share/doc/libexene-smlnj/examples/plaid/sources.cm
usr/share/doc/libexene-smlnj/examples/tactic-tree
usr/share/doc/libexene-smlnj/examples/tactic-tree/HOW-TO-DEMO
usr/share/doc/libexene-smlnj/examples/tactic-tree/README
usr/share/doc/libexene-smlnj/examples/tactic-tree/doc
usr/share/doc/libexene-smlnj/examples/tactic-tree/doc/doc.ps
usr/share/doc/libexene-smlnj/examples/tactic-tree/examples
usr/share/doc/libexene-smlnj/examples/tactic-tree/examples/derivative
usr/share/doc/libexene-smlnj/examples/tactic-tree/examples/derivative/README
usr/share/doc/libexene-smlnj/examples/tactic-tree/examples/derivative/expression.grm
usr/share/doc/libexene-smlnj/examples/tactic-tree/examples/derivative/expression.lex
usr/share/doc/libexene-smlnj/examples/tactic-tree/examples/derivative/interactive.sml
usr/share/doc/libexene-smlnj/examples/tactic-tree/examples/derivative/load-deriv
usr/share/doc/libexene-smlnj/examples/tactic-tree/examples/derivative/parse-strings.sml
usr/share/doc/libexene-smlnj/examples/tactic-tree/examples/derivative/rules.sml
usr/share/doc/libexene-smlnj/examples/tactic-tree/examples/derivative/syntax.sml
usr/share/doc/libexene-smlnj/examples/tactic-tree/examples/derivative/tactics.sml
usr/share/doc/libexene-smlnj/examples/tactic-tree/examples/derivative/test.sml
usr/share/doc/libexene-smlnj/examples/tactic-tree/examples/derivative/ttree-support.sml
usr/share/doc/libexene-smlnj/examples/tactic-tree/examples/fol
usr/share/doc/libexene-smlnj/examples/tactic-tree/examples/fol/README
usr/share/doc/libexene-smlnj/examples/tactic-tree/examples/fol/base.sml
usr/share/doc/libexene-smlnj/examples/tactic-tree/examples/fol/fol-pretty.sml
usr/share/doc/libexene-smlnj/examples/tactic-tree/examples/fol/fol.grm
usr/share/doc/libexene-smlnj/examples/tactic-tree/examples/fol/fol.lex
usr/share/doc/libexene-smlnj/examples/tactic-tree/examples/fol/load-fol
usr/share/doc/libexene-smlnj/examples/tactic-tree/examples/fol/parse_strings.sml
usr/share/doc/libexene-smlnj/examples/tactic-tree/examples/fol/pretty.sml
usr/share/doc/libexene-smlnj/examples/tactic-tree/examples/fol/syntax.sml
usr/share/doc/libexene-smlnj/examples/tactic-tree/examples/fol/tactics.sml
usr/share/doc/libexene-smlnj/examples/tactic-tree/examples/fol/test_formulas.sml
usr/share/doc/libexene-smlnj/examples/tactic-tree/examples/fol/theorem.sml
usr/share/doc/libexene-smlnj/examples/tactic-tree/examples/fol/ttree-support.sml
usr/share/doc/libexene-smlnj/examples/tactic-tree/examples/hol
usr/share/doc/libexene-smlnj/examples/tactic-tree/examples/hol/README
usr/share/doc/libexene-smlnj/examples/tactic-tree/examples/hol/hol-support.sml
usr/share/doc/libexene-smlnj/examples/tactic-tree/examples/hol/make-interactive.sml
usr/share/doc/libexene-smlnj/examples/tactic-tree/src
usr/share/doc/libexene-smlnj/examples/tactic-tree/src/README
usr/share/doc/libexene-smlnj/examples/tactic-tree/src/interactive.sig
usr/share/doc/libexene-smlnj/examples/tactic-tree/src/interactive.sml
usr/share/doc/libexene-smlnj/examples/tactic-tree/src/load
usr/share/doc/libexene-smlnj/examples/tactic-tree/src/manager.sig
usr/share/doc/libexene-smlnj/examples/tactic-tree/src/manager.sml
usr/share/doc/libexene-smlnj/examples/tactic-tree/src/support.sig
usr/share/doc/libexene-smlnj/examples/tactic-tree/src/tree.sig
usr/share/doc/libexene-smlnj/examples/tactic-tree/src/tree.sml
usr/share/doc/libexene-smlnj/examples/tactic-tree/src/ttree.sig
usr/share/doc/libexene-smlnj/examples/tactic-tree/src/ttree.sml
usr/share/doc/libexene-smlnj/examples/triangle
usr/share/doc/libexene-smlnj/examples/triangle/icon-bitmap.sml
usr/share/doc/libexene-smlnj/examples/triangle/load
usr/share/doc/libexene-smlnj/examples/triangle/sources.cm
usr/share/doc/libexene-smlnj/examples/triangle/tri.out
usr/share/doc/libexene-smlnj/examples/triangle/tri.out1
usr/share/doc/libexene-smlnj/examples/triangle/tri.sml
usr/share/doc/libexene-smlnj/examples/widgets
usr/share/doc/libexene-smlnj/examples/widgets/README
usr/share/doc/libexene-smlnj/examples/widgets/font.sml
usr/share/doc/libexene-smlnj/examples/widgets/label-slider.sml
usr/share/doc/libexene-smlnj/examples/widgets/simple-with-menu.sml
usr/share/doc/libexene-smlnj/examples/widgets/simple.sml
usr/share/doc/libexene-smlnj/examples/widgets/sources.cm
usr/share/doc/libexene-smlnj/examples/widgets/tstvtty.sml
usr/share/doc/libexene-smlnj/changelog.Debian.gz