Go to:
Gentoo Home
Documentation
Forums
Lists
Bugs
Planet
Store
Wiki
Get Gentoo!
Gentoo's Bugzilla – Attachment 18806 Details for
Bug 30394
New ebuild: ProofGeneral, a proof assistant mode for emacs
Home
|
New
–
[Ex]
|
Browse
|
Search
|
Privacy Policy
|
[?]
|
Reports
|
Requests
|
Help
|
New Account
|
Log In
[x]
|
Forgot Password
Login:
[x]
50proofgeneral-gentoo.el
50proofgeneral-gentoo.el (text/plain), 150 bytes, created by
Matthieu Sozeau (RETIRED)
on 2003-10-05 15:30:19 UTC
(
hide
)
Description:
50proofgeneral-gentoo.el
Filename:
MIME Type:
Creator:
Matthieu Sozeau (RETIRED)
Created:
2003-10-05 15:30:19 UTC
Size:
150 bytes
patch
obsolete
> >;;; Proof General site-lisp configuration > >;;;(setq load-path (cons "@SITELISP@/generic" load-path)) >(load-file "@SITELISP@/generic/proof-site.el")
<b>You cannot view the attachment while viewing its details because your browser does not support IFRAMEs. <a href="attachment.cgi?id=18806">View the attachment on a separate page</a>.</b>
View Attachment As Raw
Actions:
View
Attachments on
bug 30394
:
18785
|
18805
| 18806
