← Back to branch summary

~ubuntu-branches/ubuntu/gutsy/hevea/gutsy

« back to all changes in this revision

Viewing changes to counter.mli

  • Committer: Bazaar Package Importer
  • Author(s): Ralf Treinen
  • Date: 2006-10-21 19:12:35 UTC
  • Revision ID: james.westby@ubuntu.com-20061021191235-12qoqyt78la9ns66
Tags: 1.09-1
http://bugs.debian.org/394133
* New upstream release (closes: Bug#394133)
* updated upstream url in debian/control (package description) and 
  debian/watch.
* Adapted patches to new upstream version.
* Added manpage for bibhva.
* Updated url of HeVeA homepage in manpages.
* examples/bibtex: put all needed crossrefs and abbreviations into
  rewriting.bib; replace iso8859-1 characters by portable latex; fix
  Makefile to use bibhva and to uncompress rewriting.bib when necessary
* Manpages: document the new command line options 

Show diffs side-by-side

added added

removed removed

Lines of Context:
counter.mli
10
10
(***********************************************************************)
11
11
 
12
12
type saved
 
13
 
13
14
val checkpoint : unit -> saved
14
15
val hot_start : saved -> unit
15
16
 
18
19
val set_counter: string -> int -> unit
19
20
val add_counter:string -> int -> unit
20
21
val step_counter: string -> unit
21
 
val number_within: string -> string -> unit
 
22
val addtoreset: string -> string -> unit
 
23
val removefromreset: string -> string -> unit