File: ben.doc-base

package info (click to toggle)
ben 1.14
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid
  • size: 672 kB
  • sloc: ml: 4,116; sh: 345; javascript: 78; ansic: 39; makefile: 29; python: 18
file content (13 lines) | stat: -rw-r--r-- 367 bytes parent folder | download | duplicates (8) 
1
2
3
4
5
6
7
8
9
10
11
12
13
 
Document: ben
Title: Reference Manual of Ben
Author: Mehdi Dogguy and Stéphane Glondu
Abstract: This manual describes what ben is and how it can be used to
 generate transition monitors and trackers.
Section: Programming/OCaml

Format: HTML
Index: /usr/share/doc/ben/refman.html
Files: /usr/share/doc/ben/*.html

Format: Text
Files: /usr/share/doc/ben/refman.txt.gz