pkgsrc - [no description]

Age	Commit message (Collapse)	Author	Files	Lines
2003-08-09	USE_NEW_TEXINFO is unnecessary now.	seb	1	-2/+1

2003-07-07	Install documentation in pkgsrc canonical directories.	seb	4	-40/+66
	Add directory entry to twelf.info via patch file. Avoid patch backup files to be installed. Convert to USE_NEW_TEXINFO. Bump PKGREVISION.
2003-03-29	Place WRKSRC where it belongs, to make pkglint happy; ok'ed by wiz.	jmmv	1	-2/+2

2003-03-21	Use smlnj's Makefile.common for platform support checks.	wiz	1	-22/+2

2003-03-21	sml-nj renamed to smlnj.	wiz	1	-3/+3

2003-01-22	Initial import of twelf-1.4 as contributed by Christopher Richards in	kristerw	7	-0/+562
	PR 18497. From http://www.twelf.org, heavily edited: Twelf is a research project concerned with the design, implementation, and application of logical frameworks. It provides a uniform meta-language for specifying, implementing, and proving properties of programming languages and logics. Example suites include Cartesian Closed Categories and lambda-calculus, the Church-Rosser theorem for the untyped lambda-calculus, Mini-ML including type preservation and compilation, cut elimination, theory of logic programming, and Hilbert's deduction theorem. The principal authors of Twelf are Frank Pfenning and Carsten Schuermann, with major contrubtions by Brigitte Pientka, Roberto Virga, and Kevin Watkins.