mirror of
https://git.FreeBSD.org/ports.git
synced 2024-11-19 00:13:33 +00:00
fb16dfecae
Commit b7f05445c0 has added WWW entries to port Makefiles based on
WWW: lines in pkg-descr files.
This commit removes the WWW: lines of moved-over URLs from these
pkg-descr files.
Approved by: portmgr (tcberner)
5 lines
317 B
Plaintext
5 lines
317 B
Plaintext
Abella is an interactive theorem prover based on lambda-tree syntax. This means
|
|
that Abella is well-suited for reasoning about the meta-theory of programming
|
|
languages and other logical systems which manipulate objects with binding. For
|
|
example, the following applications are included in the distribution of Abella.
|