package info (click to toggle)
gappa 1.6.0-1
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid, trixie
  • size: 1,316 kB
  • sloc: cpp: 11,864; python: 59; makefile: 19; sh: 5

Folder: doc

d .. (parent)
d d rwxr-xr-x 29 doxygen
d d rwxr-xr-x 29 ext
d d rwxr-xr-x 34 images
- - rw-r--r-- 2,541 arithmetic.rst
- - rw-r--r-- 4,920 bibliography.rst
- - rw-r--r-- 2,946 conf.py
- - rw-r--r-- 7,266 customizing.rst
- - rw-r--r-- 9,798 errors.rst
- - rw-r--r-- 20,762 examples.rst
- - rw-r--r-- 18,254 formalizing.rst
- - rw-r--r-- 107 genindex.rst
- - rw-r--r-- 1,860 index.rst
- - rw-r--r-- 8,250 invoking.rst
- - rw-r--r-- 6,673 language.rst
- - rw-r--r-- 23,623 theorems.rst
- - rw-r--r-- 8,495 tools.rst