package info (click to toggle)
ott 0.34%2Bds-2
  • links: PTS, VCS
  • area: main
  • in suites: experimental
  • size: 6,440 kB
  • sloc: ml: 25,103; makefile: 1,375; awk: 736; lisp: 183; sh: 14; sed: 4

Folder: doc

d .. (parent)
- - rw-r--r-- 20,135 Makefile
- - rw-r--r-- 1,406 favicon.ico
- - rw-r--r-- 944 index.html.p
- - rw-r--r-- 997 let.alltt.tex
- - rw-r--r-- 35,760 shorter.bib
- - rw-r--r-- 391 squishtex.hand.ott
- - rw-r--r-- 676 style.css
- - rw-r--r-- 987 test10.hand.edited.thy
- - rw-r--r-- 1,425 test10.hand.edited.v
- - rw-r--r-- 246,248 top2.mng