blob: 8d0f990f77ae0db884127b5566c93f09fc243645 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
AF2 Proof General, for AF2.
Written by Christophe Raffalli
$Id$
Status: supported
Maintainer: Christophe Raffalli <Christophe.Raffalli@univ-savoie.fr>
AF2 version:
AF2 homepage: http://www.lama.univ-savoie.fr/~RAFFALLI/af2.html
========================================
This mode has support for script management with AF2, and some
other features ported from AF2's own Emacs mode.
|
