Update of /cvsroot/fink/dists/10.4/unstable/main/finkinfo/sci
In directory sc8-pr-cvs5.sourceforge.net:/tmp/cvs-serv26521
Added Files:
mizar-mode.info mizar-mode.patch
Log Message:
New from tracker 1562640
--- NEW FILE: mizar-mode.info ---
Package: mizar-mode
Description: Work with Mizar files in Emacs
Version: 2006.09
Revision: 1
Depends: emacsen
Maintainer: Jesse Alama <[EMAIL PROTECTED]>
License: GPL
Homepage: http://wiki.mizar.org/cgi-bin/twiki/view/Mizar/MizarMode
InfoDocs: MizarMode
Source: http://www.stanford.edu/~alama/%n-%v.tar.gz
Source-MD5: ab767947b66324e70ea4b2da027503b9
PatchScript: sed 's|@PREFIX@|%p|g' < %a/%n.patch | patch -p1
DocFiles: FAQ README_BROWSING.txt .abbrev_defs:abbrev_defs
SourceDirectory: mizar-mode
CompileScript: make -C doc info
InstallScript: <<
mkdir -p %i/share/emacs/site-lisp/mizar-mode
install -m 644 mizar.el %i/share/emacs/site-lisp/mizar-mode
mkdir -p %i/share/info
install -m 644 doc/MizarMode.info %i/share/info/MizarMode
mkdir -p %i/lib/emacsen-common/packages/install
mkdir -p %i/lib/emacsen-common/packages/remove
install -m 755 fink/emacsen-install %i/lib/emacsen-common/packages/install/%n
install -m 755 fink/emacsen-remove %i/lib/emacsen-common/packages/remove/%n
<<
PostInstScript: %p/lib/emacsen-common/emacs-package-install %n
PreRmScript: %p/lib/emacsen-common/emacs-package-remove %n
DescDetail: <<
(For more information on Mizar, see http://www.mizar.org)
The Emacs authoring environment for Mizar (MizarMode) is today the
authoring tool of choice for many (probably majority of) Mizar
authors.
Mizar is a non-programmable and non-tactical verifier, the proofs are
developed in the traditional `write-compile-correct' software
programming loop. While this method is in the beginning more laborious
than the methods employed in tactical and programmable proof
assistants, it makes the `proof code' in the long-run more readable,
maintainable and reusable. This seems to be a crucial factor for a
long-term and large-scale formalization effort.
MizarMode has been designed with the aim to facilitate this kind of
proof development by a number of 'code-generating', `code-browsing'
and `code-searching' methods or tools programmed or integrated within
it. These methods and tools now include e.g. the automated generation
of proof skeletons, proof advice using trained machine learning tools
like Mizar Proof Advisor or deductive tools like MoMM, semantic
browsing of the articles and abstracts, structured viewing, etc.
(Adapted from the abstract to "MizarMode - Integrated Proof Assistance
Tools for the Mizar Way of Formalizing Mathematics", by Josef Urban,
available at http://kti.ms.mff.cuni.cz/~urban/mizmode.ps .)
<<
DescUsage: <<
To get started, simply add the forms
(autoload 'mizar-mode "mizar" "Major mode for editing Mizar articles." t)
(autoload 'mmlquery-decode "mizar")
(autoload 'mmlquery-mode "mizar")
to your emacs initialization file. To configure emacs to turn on
mizar-mode whenever a Mizar file is loaded, add the forms
(setq auto-mode-alist (append '( ("\\.miz" . mizar-mode)
("\\.abs" . mizar-mode))
auto-mode-alist))
(setq format-alist
(append '(
"::[ \t]*Content-[Tt]ype:[ ]*text/mmlquery"
mmlquery-decode nil nil mmlquery-mode))
format-alist)
to your emacs initialization file. In any case, the main entry point
into the system is the command `mizar-mode'; type the key sequence
M-x mizar-mode
to being structually editing Mizar code.
Finally, consider using the abbreviations defined in
%p/share/doc/mizar-mode/abbrev_defs; they may help make entering Mizar
texts easier.
<<
--- NEW FILE: mizar-mode.patch ---
diff -Naur --exclude='*~' mizar-mode/fink/emacsen-install
mizar-mode.fink/fink/emacsen-install
--- mizar-mode/fink/emacsen-install 1969-12-31 16:00:00.000000000 -0800
+++ mizar-mode.fink/fink/emacsen-install 2006-09-20 15:27:23.000000000
-0700
@@ -0,0 +1,34 @@
+#!/bin/bash -e
+#
+# install file for the fink mizar-mode emacs package.
+
+set -o posix
+
+FLAVOR=${1}
+
+echo >&2 "install/mizar-mode: Handling install of emacsen flavor ${FLAVOR}"
+
+if [ ${FLAVOR} == emacs20 ]
+then
+ echo "install/mizar-mode: Skipping unsupported flavor ${FLAVOR}"
+ exit 0
+fi
+
+if [ ${FLAVOR} == emacs ]
+then
+ echo "install/mizar-mode: Done."
+ exit 0
+fi
+
+echo >&2 -n "install/mizar-mode: Byte-compiling for ${FLAVOR}..."
+mkdir -p @PREFIX@/share/${FLAVOR}/site-lisp/mizar-mode;
+ln -s @PREFIX@/share/emacs/site-lisp/mizar-mode/mizar.el
@PREFIX@/share/${FLAVOR}/site-lisp/mizar-mode;
+
+cd @PREFIX@/share/${FLAVOR}/site-lisp/mizar-mode;
+
+(${FLAVOR} --no-init-file --no-site-file --batch -f batch-byte-compile
mizar.el 2>&1) | gzip -9qf >
@PREFIX@/share/doc/mizar-mode/CompilationLog-${FLAVOR}.gz
+
+echo >&2 "done."
+echo >&2 "install/mizar-mode: Compilation log saved in
@PREFIX@/share/doc/mizar-mode/CompilationLog-${FLAVOR}.gz."
+
+exit 0
diff -Naur --exclude='*~' mizar-mode/fink/emacsen-remove
mizar-mode.fink/fink/emacsen-remove
--- mizar-mode/fink/emacsen-remove 1969-12-31 16:00:00.000000000 -0800
+++ mizar-mode.fink/fink/emacsen-remove 2006-09-20 14:37:01.000000000 -0700
@@ -0,0 +1,21 @@
+#!/bin/bash -e
+#
+# This is the Fink version of the mizar-mode emacs package.
+set -o posix
+
+FLAVOR=${1}
+
+echo "remove/mizar-mode: Handling removal for emacsen flavor ${FLAVOR}"
+
+if [ ${FLAVOR} == emacs20 ]
+then
+ echo "remove/mizar-mode: Skipping unsupported flavor ${FLAVOR}"
+ exit 0
+fi
+
+echo >&2 -n "remove/mizar-mode: Purging compilation log and byte-compiled
files for ${FLAVOR}..."
+rm -f @PREFIX@/share/doc/mizar-mode/CompilationLog-${FLAVOR}.gz
+rm -Rf @PREFIX@/share/${FLAVOR}/site-lisp/mizar-mode
+echo >&2 "done."
+
+exit 0
-------------------------------------------------------------------------
Take Surveys. Earn Cash. Influence the Future of IT
Join SourceForge.net's Techsay panel and you'll get the chance to share your
opinions on IT & business topics through brief surveys -- and earn cash
http://www.techsay.com/default.php?page=join.php&p=sourceforge&CID=DEVDEV
_______________________________________________
Fink-commits mailing list
Fink-commits@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/fink-commits
