| Commit message (Collapse) | Author | Age | Files | Lines |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
had both lines:
Author: ...
WWW: ....
So standardize on that, and move them to the end of the file when necessary.
Also fix some more whitespace, and remove more "signature tags" of varying
forms, like -- name, etc.
s/AUTHOR/Author/
A few other various formatting issues
Notes:
svn path=/head/; revision=284239
|
|
|
|
| |
Notes:
svn path=/head/; revision=276987
|
|
|
|
| |
Notes:
svn path=/head/; revision=273475
|
|
|
|
|
|
|
|
| |
Reviewed by: exp8 run on pointyhat
Supported by: miwi
Notes:
svn path=/head/; revision=251605
|
|
|
|
| |
Notes:
svn path=/head/; revision=249285
|
|
|
|
|
|
|
|
|
| |
bumped or updated
Requested by: edwin
Notes:
svn path=/head/; revision=238701
|
|
|
|
|
|
|
|
| |
PR: ports/131631
Submitted by: Andrew Bernard <andrewb@cs.cmu.edu> (maintainer)
Notes:
svn path=/head/; revision=232048
|
|
|
|
| |
Notes:
svn path=/head/; revision=161836
|
|
The Twelf implementation comprises
* the LF logical framework, including type reconstruction;
* the Elf constraint logic programming language;
* an inductive meta-theorem prover for LF;
* and an Emacs interface.
PR: ports/84625
Submitted by: "Andrew Bernard" <andrew@hobnob.com>
Notes:
svn path=/head/; revision=149566
|