| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Fix plist. | barner | 2005-09-15 | 1 | -0/+3 |
| | | | | | | Reported by: kris via pointhat Pointy hat to: me for not being more thorough | ||||
| * | Fix build: | barner | 2005-09-15 | 2 | -7/+35 |
| | | | | | | | | | | | | - Use any installed version of [x]emacs - If there's no emacs at all, fall back to xemacs21-mule - files/patch-isa_isabelle-system.el: Avoid interactive prompt if building with GNU emacs. Submitted by: barner, maintainer (partly) Approved by: Timothy Bourke <timbob@bigpond.com> (maintainer) Reported by: kris via pointyhat | ||||
| * | Add proofgeneral 3.5, a generic interface for proof assistants. | barner | 2005-08-31 | 10 | -0/+715 |
| PR: 84788 Submitted by: Timothy Bourke <timbob@bigpond.com> | |||||
 |
index : FreeBSD-ports | |
| Raptor Engineering's fork of pfsense FreeBSD ports tree with pfSense changes | Raptor Engineering, LLC |
| summaryrefslogtreecommitdiffstats |
|