package info (click to toggle)
why3 1.8.2-1
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid
  • size: 45,020 kB
  • sloc: xml: 185,443; ml: 111,224; ansic: 3,998; sh: 2,578; makefile: 2,568; java: 865; python: 720; javascript: 290; lisp: 205; pascal: 173

Folder: doc

d .. (parent)
d d rwxr-xr-x 28 ext
d d rwxr-xr-x 28 generated
d d rwxr-xr-x 4,096 images
d d rwxr-xr-x 56 javaexamples
- - rw-r--r-- 519 HelloProof-style2.tex
- - rw-r--r-- 466 HelloProof.tex
- - rw-r--r-- 31,247 api.rst
- - rw-r--r-- 140 cedoc.mlw
- - rw-r--r-- 14,145 changes.rst
- - rw-r--r-- 5,136 conf.py
- - rwxr-xr-x 341 drv_depgraph
- - rw-r--r-- 14,795 exec.rst
- - rw-r--r-- 2,748 foreword.rst
- - rw-r--r-- 107 genindex.rst
- - rw-r--r-- 1,279 index.rst
- - rw-r--r-- 20,199 input_formats.rst
- - rw-r--r-- 13,796 install.rst
- - rw-r--r-- 11,641 itp.rst
- - rw-r--r-- 66,532 manpages.rst
- - rw-r--r-- 10,687 manual.bib
- - rw-r--r-- 11,701 starting.rst
- - rw-r--r-- 74,937 syntaxref.rst
- - rw-r--r-- 59,351 technical.rst
- - rw-r--r-- 12,915 vcgen.rst
- - rw-r--r-- 949 why3ide-doc.conf
- - rw-r--r-- 39,891 whyml.rst
- - rw-r--r-- 10,183 whyml2java.inc
- - rw-r--r-- 78 zebibliography.rst