Tree - rpms/coq - src.fedoraproject.org

Blob History Raw

		44b3085	`--- man/parser.1 2001-04-25 09:51:01.000000000 -0400`
		44b3085	`+++ man/parser.1 2008-08-05 12:21:00.000000000 -0400`
		44b3085	`@@ -1,18 +1,18 @@`
		44b3085	`.TH COQ 1 "April 25, 2001"`
		44b3085
		44b3085	`.SH NAME`
		44b3085	`-parser \- Coq parser`
		44b3085	`+coq-parser \- Coq parser`
		44b3085
		44b3085
		44b3085	`.SH SYNOPSIS`
		44b3085	`-.B parser`
		44b3085	`+.B coq-parser`
		44b3085	`[`
		44b3085	`.B options`
		44b3085	`]`
		44b3085
		44b3085	`.SH DESCRIPTION`
		44b3085
		44b3085	`-.B parser`
		44b3085	`+.B coq-parser`
		44b3085	`is a program reading Coq proof developments and outputing them in the`
		44b3085	`structured format given in the INRIA technical report RT154. This`
		44b3085	`program is not for the casual user.`