blob: 7d2b10e986ac3cf0a240e34ae8ce5ccc7e720d59 (
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
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
|
<?php
require('functions.php3');
small_header("Proof General Standalone Components");
?>
<p> As part of the Proof General project, some components have been
developed which might be useful in a wider context. They are
presented on this page.
</p>
<p>As usual with free software, these programs
come with no guarantees of any sort.
Nonetheless, please <a href="feedback">contact us</a> with
any comments, suggestions, or problems.
</p>
<h2>Spans: Emacs and XEmacs compatibility library for overlays/extents</h2>
<p>
<i>Spans</i> are an abstraction of XEmacs <i>extents</i> used to help
bridge the gulf between GNU Emacs and XEmacs. In GNU Emacs, spans are
implemented using <i>overlays</i>.
</p>
<p>
The library consists of three Emacs lisp files,
<ul>
<li><a href="ProofGeneral-latest/generic/span-extent.el">span-extent.el</a>
</li>
<li><a href="ProofGeneral-latest/generic/span-overlay.el">span-overlay.el</a>
</li>
<li><a href="ProofGeneral-latest/generic/span.el">span.el</a>
(which simply loads one of the above)
</li>
</ul>
which implement a common interface for overlays/extents.
This library was originally implemented by Healfdene Goguen.
</p>
<p>
See the files for further documentation, and
<a href="adapting_13.html#SEC40">section 12.1</a>
of the <a href="adapting">Proof General adapting manual</a>
for more details.
</p>
<h2>Docstring magic: Elisp documentation to TeXinfo extraction</h2>
<p>
This package generates <a
href="http://www.gnu.org/directory/texinfo.html">Texinfo</a> source
fragments from Emacs
<!-- WARNING: next URL subject to change with elisp ref man changes!! -->
<a href="http://www.gnu.org/manual/elisp/html_node/elisp_374.html#SEC374">documentation strings</a> which are embedded in Emacs lisp source and the
running interpreter. This avoids documenting functions
and variables in more than one place, and automatically adds Texinfo
markup to docstrings. It's a bit like <tt>javadoc</tt> for Emacs
Lisp, except that you must write a skeleton <tt>texi</tt> file which
contains magic comments mentioning the function or variable names you
want documented. </p> <p> The package consists of one file: <ul>
<li><a
href="ProofGeneral-latest/generic/texi-docstring-magic.el">texi-docstring-magic.el</a></li>
</ul> which contains documentation and usage hints. For an extensive
example of it's use, see the <a
href="ProofGeneral-latest/doc/PG-adapting.texi">source</a> for the <a
href="adapting">PG adapting manual</a>. </p>
<hr>
<?php
click_to_go_back();
footer();
?>
|