K 10
svn:author
V 3
pav
K 8
svn:date
V 27
2004-11-08T21:57:29.000000Z
K 7
svn:log
V 200
- Add optional CoqIde support (depends on lablgtk2)
- Correct PORTVERSION to match actual source version
- Cosmetics

PR:		ports/73634
Submitted by:	Rene Ladan <r.c.ladan@student.tue.nl> (maintainer)

END