blob: 2f7bd6c881f802bbd08a6dd5017026e45784284e (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
|
;; doc/docstring-magic.el -- hack for using texi-docstring-magic.
;;
;; Copyright (C) 1998 LFCS Edinburgh.
;; Author: David Aspinall
;; Maintainer: Proof General maintainer <proofgen@dcs.ed.ac.uk>
;;
;; Ensure that non-compiled versions of everything are loaded.
;;
;; $Id$
;;
(setq load-path
(append
'("../generic/" "../isa/" "../lego/" "../coq/" "../isar" "../plastic/") load-path))
(load "proof-site.el")
(load "proof-config.el")
(load "proof.el")
(load "proof-toolbar.el")
;; New ones first incase they duplicate variable names
;; accidently.
(load "isar.el")
(load "plastic.el")
(load "isa.el")
(load "thy-mode.el")
(load "coq.el")
(load "lego.el")
;; A couple of comint symbols are mentioned in the docs
(require 'comint)
;; Set some symbols to make markup happen
(setq sml-mode 'markup-hack)
(setq func-menu 'markup-hack)
(load "texi-docstring-magic.el")
|
