package info (click to toggle)
swi-prolog 7.2.3%2Bdfsg-6
  • links: PTS, VCS
  • area: main
  • in suites: stretch
  • size: 84,180 kB
  • ctags: 45,684
  • sloc: ansic: 330,358; perl: 268,104; sh: 6,795; java: 4,904; makefile: 4,561; cpp: 4,153; ruby: 1,594; yacc: 843; xml: 82; sed: 12; sql: 6

Folder: pldoc

d .. (parent)
d d rwxr-xr-x 42 server
- - rw-r--r-- 34 .cvsignore
- - rw-r--r-- 251 .gitignore
- - rw-r--r-- 541 .plrc
- - rwxr-xr-x 320 2pldoc
- - rw-r--r-- 7,735 ChangeLog
- - rw-r--r-- 1,953 Makefile.in
- - rw-r--r-- 1,280 Makefile.mak
- - rw-r--r-- 830 README
- - rw-r--r-- 1,187 TODO
- - rw-r--r-- 551 common.mk
- - rwxr-xr-x 89,630 configure
- - rw-r--r-- 180 configure.in
- - rw-r--r-- 4,760 doc_access.pl
- - rw-r--r-- 3,240 doc_colour.pl
- - rw-r--r-- 3,770 doc_csssrc.pl
- - rw-r--r-- 1,718 doc_debug.pl
- - rw-r--r-- 10,822 doc_files.pl
- - rw-r--r-- 64,748 doc_html.pl
- - rw-r--r-- 16,238 doc_htmlsrc.pl
- - rw-r--r-- 21,371 doc_http.pl
- - rw-r--r-- 15,429 doc_index.pl
- - rw-r--r-- 40,374 doc_latex.pl
- - rw-r--r-- 3,153 doc_library.pl
- - rw-r--r-- 42,763 doc_man.pl
- - rw-r--r-- 14,376 doc_modes.pl
- - rw-r--r-- 5,785 doc_pack.pl
- - rw-r--r-- 12,661 doc_process.pl
- - rw-r--r-- 3,642 doc_register.pl
- - rw-r--r-- 14,910 doc_search.pl
- - rw-r--r-- 2,863 doc_util.pl
- - rw-r--r-- 51,628 doc_wiki.pl
- - rw-r--r-- 4,412 edit.png
- - rw-r--r-- 4,011 editpred.png
- - rw-r--r-- 1,406 favicon.ico
- - rw-r--r-- 752 h1-bg.png
- - rw-r--r-- 673 h2-bg.png
- - rw-r--r-- 2,132 hooks.pl
- - rwxr-xr-x 4,771 install-sh
- - rw-r--r-- 1,622 latex.txt
- - rw-r--r-- 508 multi-bg.png
- - rw-r--r-- 7,867 pldoc.css
- - rw-r--r-- 40,310 pldoc.doc
- - rw-r--r-- 67,558 pldoc.html
- - rw-r--r-- 1,771 pldoc.js
- - rw-r--r-- 143,941 pldoc.pdf
- - rw-r--r-- 3,807 pldoc.pl
- - rw-r--r-- 16,014 pldoc.sty
- - rw-r--r-- 2,316 pllisting.css
- - rw-r--r-- 1,332 pltotex.pl
- - rw-r--r-- 770 priv-bg.png
- - rw-r--r-- 4,183 private.png
- - rw-r--r-- 673 pub-bg.png
- - rw-r--r-- 4,674 public.png
- - rw-r--r-- 4,282 reload.png
- - rw-r--r-- 4,110 source.png
- - rw-r--r-- 1,879 test_wiki.pl
- - rw-r--r-- 462 txttotex.pl
- - rw-r--r-- 1,214 up.gif
- - rw-r--r-- 1,396 wiki_test_data.pl