File: README.mmm-for-ProofGeneral

package info (click to toggle)
proofgeneral 3.7-4
  • links: PTS
  • area: main
  • in suites: squeeze
  • size: 9,328 kB
  • ctags: 4,317
  • sloc: lisp: 49,786; makefile: 466; sh: 339; perl: 205; ansic: 43
file content (23 lines) | stat: -rw-r--r-- 630 bytes parent folder | download | duplicates (2) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
 
The code in this directory is taken from  

	http://mmm-mode.sourceforge.net/

This is version 0.4.8.
No changes have been made for Proof General.   
Some files have not be included here.


=================================================================


		MMM Mode for Emacs

MMM Mode is an emacs add-on package providing a minor mode that allows
Multiple Major Modes to coexist in one buffer. It is particularly
well-suited to editing embedded code or code that generates other
code, such as Mason or Embperl server-side Perl code, or HTML output
by CGI scripts. 

It is written and maintained by Michael Abraham Shulman .