package info (click to toggle)
prooftree 0.13-1
  • links: PTS, VCS
  • area: main
  • in suites: bullseye, sid, stretch
  • size: 592 kB
  • ctags: 668
  • sloc: ml: 4,462; sh: 117; makefile: 111

Folder: 0.13-1

show hidden (1)
d .. (parent)
d d rwxr-xr-x 104 .pc
d d rwxr-xr-x 4,096 debian
d d rwxr-xr-x 66 test
- - rw-r--r-- 130 .gitignore
- - rw-r--r-- 35,147 COPYING
- - rw-r--r-- 22,113 ChangeLog
- - rw-r--r-- 2,009 INSTALL
- - rw-r--r-- 4,920 Makefile.in
- - rw-r--r-- 2,162 README
- - rw-r--r-- 2,577 about_window.ml
- - rw-r--r-- 4,281 changes.html
- - rw-r--r-- 277 compatibility
- - rw-r--r-- 65,002 configuration.ml
- - rwxr-xr-x 4,205 configure
- - rw-r--r-- 5,180 coq.ml
- - rw-r--r-- 63,129 draw_tree.ml
- - rw-r--r-- 1,993 emacs_commands.ml
- - rw-r--r-- 22,708 ext_dialog.ml
- - rw-r--r-- 4,884 gtk_ext.ml
- - rw-r--r-- 13,592 help_window.ml
- - rw-r--r-- 38,123 input.ml
- - rw-r--r-- 1,274 input.mli
- - rw-r--r-- 4,105 main.ml
- - rw-r--r-- 10,242 node_window.ml
- - rw-r--r-- 35,309 proof_tree.ml
- - rw-r--r-- 5,815 proof_tree.mli
- - rw-r--r-- 54,161 proof_window.ml
- - rw-r--r-- 13,790 prooftree.1
- - rw-r--r-- 12,208 prooftree.man.html
- - rw-r--r-- 15,648 tree_layers.ml
- - rw-r--r-- 9,135 util.ml
- - rw-r--r-- 1,080 version.mli
- - rw-r--r-- 5 version.txt