;;;; -*- mode: lisp-interaction; syntax: elisp; coding: iso-2022-7bit -*- ;;;; ;;;; Copyright (C) 2001 The Meadow Team ;; Author: Koichiro Ohba ;; Kyotaro HORIGUCHI ;; Hideyuki SHIRAI ;; KOSEKI Yoshinori ;; and The Meadow Team. ;; ;;; Mule-UCS の設定 ;; ;; ftp://ftp.m17n.org/pub/mule/Mule-UCS/ ;; ;; (set-language-environment) の前に設定します ;; (require 'un-define) ;; (require 'jisx0213) ;;; 日本語環境設定 (set-language-environment "Japanese") ;;; gnus 設定 ;;;(setq gnus-nntp-service "nntp") ;;;(setq gnus-nntp-server "sakaki.math.tohoku.ac.jp") ;;;(setq gnus-local-domain "sakaki.math.tohoku.ac.jp") ;;;(setq gnus-your-organization "Tohoku University, Japan") ;;;(setq gnus-startup-file "~/newsrc") ;;; IMEの設定 (mw32-ime-initialize) (setq default-input-method "MW32-IME") (setq-default mw32-ime-mode-line-state-indicator "[--]") (setq mw32-ime-mode-line-state-indicator-list '("[--]" "[あ]" "[--]")) (add-hook 'mw32-ime-on-hook (function (lambda () (set-cursor-height 2)))) (add-hook 'mw32-ime-off-hook (function (lambda () (set-cursor-height 4)))) ;; ;;; カーソルの設定 ;; ;; (set-cursor-type 'box) ; Meadow-1.10互換 (SKK等で色が変る設定) ;; ;; (set-cursor-type 'hairline-caret) ; 縦棒キャレット ;;; マウスカーソルを消す設定 (setq w32-hide-mouse-on-key t) (setq w32-hide-mouse-timeout 5000) ;;; font-lockの設定 (if window-system (progn (setq font-lock-support-mode 'lazy-lock-mode) (global-font-lock-mode t))) ;; ;;; TrueType フォント設定 ;; (create-fontset-from-request "private-fontset" ;; '((width . 8) ;; (height . 16) ;; (fixed . t) ;; (italic . nil)) ;; '((family . "ＭＳ ゴシック") ;; (family . "Courier New"))) ;; ;; (change-fontset-from-request "private-fontset" ;; '((width . 8) ;; (height . 16) ;; (fixed . t) ;; (weight . 700) ;; (italic . nil)) ;; '((family . "ＭＳ ゴシック") ;; (family . "Courier New")) ;; 1) (w32-auto-regist-bdf-font "bdf16-latin-iso8859-1" "d:/usr/local/Meadow/1.10/fonts/bdf/European/etl16-latin1.bdf" 1) (w32-auto-regist-bdf-font "bdf16-latin-iso8859-2" "d:/usr/local/Meadow/1.10/fonts/bdf/European/etl16-latin2.bdf" 1) (w32-auto-regist-bdf-font "bdf16-latin-iso8859-3" "d:/usr/local/Meadow/1.10/fonts/bdf/European/etl16-latin3.bdf" 1) (w32-auto-regist-bdf-font "bdf16-latin-iso8859-4" "d:/usr/local/Meadow/1.10/fonts/bdf/European/etl16-latin4.bdf" 1) (w32-auto-regist-bdf-font "bdf16-japanese-jisx0212" "d:/usr/local/Meadow/1.10/fonts/bdf/Japanese/jisksp16.bdf" 0) (w32-auto-regist-bdf-font "bdf16-japanese-jisx0208" "d:/usr/local/Meadow/1.10/fonts/bdf/Japanese-X/jiskan16.bdf" 0) (w32-auto-regist-bdf-font "bdf16-latin-jisx0201" "d:/usr/local/Meadow/1.10/fonts/bdf/Japanese-X/8x16rk.bdf" 0) (w32-auto-regist-bdf-font "bdf16-katakana-jisx0201" "d:/usr/local/Meadow/1.10/fonts/bdf/Japanese-X/8x16rk.bdf" 1) (new-fontset "intlfonts" '((ascii . "bdf16-katakana-jisx0201") (latin-iso8859-1 . "bdf16-latin-iso8859-1") (latin-iso8859-2 . "bdf16-latin-iso8859-2") (latin-iso8859-3 . "bdf16-latin-iso8859-3") (latin-iso8859-4 . "bdf16-latin-iso8859-4") (japanese-jisx0212 . "bdf16-japanese-jisx0212") (japanese-jisx0208 . "bdf16-japanese-jisx0208") (latin-jisx0201 . "bdf16-latin-jisx0201") (katakana-jisx0201 . "bdf16-katakana-jisx0201"))) ;; ;;; BDF フォント設定 ;; ;; intlfonts-1.2.tar.gz が必要です ;; ;; http://www.ring.gr.jp/archives/GNU/intlfonts/intlfonts-1.2.tar.gz ;; ;; http://ring.asahi-net.or.jp/archives/GNU/intlfonts/intlfonts-1.2.tar.gz ;; ;; ftp://ftp.m17n.org/pub/mule/intlfonts-1.2.tar.gz ;; ;; ftp://ftp.gnu.org/pub/gnu/intlfonts/intlfonts-1.2.tar.gz ;; ;; などから入手してください ;; ;; c:/MEADOW/intlfonts-1.2 と展開した場合の設定例となっています。 ;; (defvar bdf-font-directory "c:/MEADOW/intlfonts-1.2") ;; (defvar bdf-font-name-prefix "bdffont16-") ;; (defvar bdf-font-file-alist ;; '((ascii "European/lt1-16-etl.bdf" 0) ;; (latin-iso8859-1 "European/lt1-16-etl.bdf" 1) ; ISO8859-1 ;; (latin-iso8859-2 "European/lt2-16-etl.bdf" 1) ; ISO8859-2 ;; (latin-iso8859-3 "European/lt3-16-etl.bdf" 1) ; ISO8859-3 ;; (latin-iso8859-4 "European/lt4-16-etl.bdf" 1) ; ISO8859-4 ;; (cyrillic-iso8859-5 "European/cyr16-etl.bdf" 1) ; ISO8859-5 ;; (arabic-iso8859-6 "Misc/arab16-0-etl.bdf" 0) ; ISO8859-6 ??? ;; (greek-iso8859-7 "European/grk16-etl.bdf" 1) ; ISO8859-7 ;; (hebrew-iso8859-8 "Misc/heb16-etl.bdf" 1) ; ISO8859-8 ;; (latin-iso8859-9 "European/lt5-16-etl.bdf" 1) ; ISO8859-9 ;; (thai-tis620 "Asian/thai16.bdf" 1) ; TIS620 ;; (katakana-jisx0201 "japanese.X/8x16rk.bdf" 1) ; JISX0201 ;; (latin-jisx0201 "japanese.X/8x16rk.bdf" 0) ; JISX0201 ;; (japanese-jisx0212 "japanese/jksp16.bdf" 0) ; JISX0212 ;; (japanese-jisx0208-1978 "japanese/j78-16.bdf" 0); JISX0208.1978 ;; (japanese-jisx0208 "japanese.X/jiskan16.bdf" 0) ; JISX0208.1983 ;; ;; (japanese-jisx0213-1 "Japanese.X/jiskan16-2000-1.bdf" 0) ; JISX0213-2000(Plane 1) * Mule-UCS が必要です ;; ;; (japanese-jisx0213-2 "Japanese.X/jiskan16-2000-2.bdf" 0) ; JISX0213-2000(Plane 2) * Mule-UCS が必要です ;; (korean-ksc5601 "Korean.X/hanglm16.bdf" 0) ; KSC5601 mincho ;; ;; (korean-ksc5601 "Korean.X/hanglg16.bdf" 0) ; KSC5601 gothic ;; (chinese-gb2312 "Chinese.X/gb16fs.bdf" 0 ) ; GB2312 ??? ;; (chinese-cns11643-1 "Chinese/cns1-16.bdf" 0) ; CNS11643.1992-1 ;; (chinese-cns11643-2 "Chinese/cns2-16.bdf" 0) ; CNS11643.1992-2 ;; (chinese-cns11643-3 "Chinese/cns3-16.bdf" 0) ; CNS11643.1992-3 ;; (chinese-cns11643-4 "Chinese/cns4-16.bdf" 0) ; CNS11643.1992-4 ;; (chinese-cns11643-5 "Chinese/cns5-16.bdf" 0) ; CNS11643.1992-5 ;; (chinese-cns11643-6 "Chinese/cns6-16.bdf" 0) ; CNS11643.1992-6 ;; (chinese-cns11643-7 "Chinese/cns7-16.bdf" 0) ; CNS11643.1992-7 ;; (chinese-big5-1 "Chinese/taipei16.bdf" encode-big5-font) ; Big5 ;; (chinese-big5-2 "Chinese/taipei16.bdf" encode-big5-font) ; Big5 ;; (chinese-sisheng "Chinese/sish16-etl.bdf" 0) ; sisheng_cwnn ??? ;; (vietnamese-viscii-lower "Asian/visc16-etl.bdf" encode-viscii-font) ; VISCII1.1 ;; (vietnamese-viscii-upper "Asian/visc16-etl.bdf" encode-viscii-font) ; VISCII1.1 ;; (arabic-digit "Misc/arab16-0-etl.bdf" 0) ; MuleArabic-0 ;; (arabic-1-column "Misc/arab16-1-etl.bdf" 0) ; MuleArabic-1 ;; (arabic-2-column "Misc/arab16-2-etl.bdf" 0) ; MuleArabic-2 ;; (ipa "Misc/ipa16-etl.bdf" 1) ; MuleIPA ;; (ethiopic "Ethiopic/ethio16f-uni.bdf" encode-ethio-font) ; Ethiopic-Unicode ;; ;; (ascii-right-to-left "European/lt1-16-etl.bdf" 0) ; ISO8859-1 ;; ??? ;; (indian-is13194 "Asian/isci16-mule.bdf" 0) ; IS13194-Devanagari ;; (indian-2-column "Asian/ind16-mule.bdf" 0) ; MuleIndian-2 ;; (indian-1-column "Asian/ind1c16-mule.bdf" 0) ; MuleIndian-1 ;; (lao "Asian/lao16-mule.bdf" 1) ; MuleLao-1 ;; (tibetan "Asian/tib16-mule.bdf" 0) ; MuleTibetan-0 ;; (tibetan-1-column "Asian/tib1c16-mule.bdf" 0) ; MuleTibetan-1 ;; )) ;; ;; (defun w32-configure-bdf-font (fontset) ;; (new-fontset fontset ;; (mapcar ;; (lambda (x) ;; (let* ((charset (car x)) ;; (filename (nth 1 x)) ;; (encoding (nth 2 x)) ;; (fontname ;; (concat bdf-font-name-prefix ;; (symbol-name charset)))) ;; (w32-auto-regist-bdf-font ;; fontname ;; (expand-file-name filename bdf-font-directory) ;; encoding) ;; (cons charset fontname))) ;; bdf-font-file-alist))) ;; ;; (w32-configure-bdf-font "bdf-fontset") ;; ;; ;; bold, italic, bold itaric を追加。 ;; ;; Bold ;; (w32-change-font-logfont "bdffont16-ascii" 1 ;; (list 'bdf-font (expand-file-name "European/lt1-16b-etl.bdf" bdf-font-directory ))) ;; ;; italic ;; (w32-change-font-logfont "bdffont16-ascii" 2 ;; (list 'bdf-font (expand-file-name "European/lt1-16i-etl.bdf" bdf-font-directory ))) ;; ;; Bold itaric ;; (w32-change-font-logfont "bdffont16-ascii" 3 ;; (list 'bdf-font (expand-file-name "European/lt1-16bi-etl.bdf" bdf-font-directory ))) ;; 初期フレームの設定 (setq default-frame-alist (append (list '(foreground-color . "black") ;; '(background-color . "LemonChiffon") '(background-color . "white") '(background-color . "gray") '(border-color . "black") '(mouse-color . "white") '(cursor-color . "black") ;; '(ime-font . "Nihongo-12") ; TrueType のみ ;; '(font . "bdf-fontset") ; BDF ;; '(font . "intlfonts") ;; '(font . "private-fontset"); TrueType '(width . 65) ;; '(height . 40) '(height . 23) '(top . 40) '(left . 40)) default-frame-alist)) ;; ;;; shell の設定 ;; ;;; Cygwin の bash を使う場合 ;; (setq explicit-shell-file-name "bash.exe") ;; (setq shell-file-name "sh.exe") ;; (setq shell-command-switch "-c") ;; ;;; Virtually UN*X!にある tcsh.exe を使う場合 ;; (setq explicit-shell-file-name "tcsh.exe") ;; (setq shell-file-name "tcsh.exe") ;; (setq shell-command-switch "-c") ;; ;;; WindowsNT に付属の CMD.EXE を使う場合。 ;; (setq explicit-shell-file-name "CMD.EXE") ;; (setq shell-file-name "CMD.EXE") ;; (setq shell-command-switch "\\/c") ;; ;;; coding-system の設定 ;; (modify-coding-system-alist 'process ".*sh\\.exe" 'undecided-dos) ;;; argument-editing の設定 (require 'mw32script) (mw32script-init) ;; ;;; browse-url の設定 ;; (require 'browse-url) ;; (global-set-key [S-mouse-2] 'browse-url-at-mouse) ;; ;;; 印刷の設定 ;; ;; この設定で M-x print-buffer RET などでの印刷ができるようになります ;; ;; ;; ;; notepad に与えるパラメータの形式の設定 (define-process-argument-editing "notepad" (lambda (x) (general-process-argument-editing-function x nil t))) (defun w32-print-region (start end &optional lpr-prog delete-text buf display &rest rest) (interactive) (let ((tmpfile (expand-file-name (make-temp-name "w32-print-") temporary-file-directory)) (coding-system-for-write w32-system-coding-system)) (write-region start end tmpfile nil 'nomsg) (call-process "notepad" nil nil nil "/p" tmpfile) (and (file-writable-p tmpfile) (delete-file tmpfile)))) (setq print-region-function 'w32-print-region) ;; ;;; Auctex の設定 (load "yatex") (setq auto-mode-alist (cons (cons "\\.tex$" 'yatex-mode) auto-mode-alist)) (autoload 'yatex-mode "yatex" "Yet Another LaTeX mode" t) (setq tex-command "c:/ptex/bin/platex") (setq dvi2-command "c:/ptex/bin/dviout") (setq grep-command "c:/cygwin/bin/grep -n") (setq jbibtex-command "c:/ptex/bin/jbibtex") (add-hook 'yatex-mode-hook 'turn-on-reftex) ; with Emacs latex mode ;; (setq load-path (cons "~/elisp" load-path)) ;; (require 'tex-jp) (fset 'equation [?% ?\C-m ?\C-c ?b ? ?e ?q ?u ?a ?t ?i ?o ?n ?\C-m down ?\C-e ?\C-m ?% ?\C-m up up up left ? ?\\ ?l ?a ?b ?e ?l ?{ right down left]) (fset 'equation* [?% ?\C-m ?\C-c ?b ? ?e ?q ?u ?a ?t ?i ?o ?n ?* ?\C-m down ?\C-e ?\C-m ?% ?\C-m up up up]) (fset 'eqalign [?% ?\C-m ?\C-c ?b ? ?e ?q ?u ?a ?t ?i ?o ?n ?\C-m left ?\C-c ?b ? ?a ?l ?i ?g ?n ?e ?d ?\C-m down ?\C-e down ?\C-e ?\C-m ?% ?\C-m up up up up up left ? ?\\ ?l ?a ?b ?e ?l ?{ right down down left]) (fset 'eqalign* [?% ?\C-m ?\C-c ?b ? ?e ?q ?u ?a ?t ?i ?o ?n ?* ?\C-m left ?\C-c ?b ? ?a ?l ?i ?g ?n ?e ?d ?\C-m down down ?\C-e ?\C-m ?% ?\C-m up up up up]) (fset 'align [?% ?\C-m ?\C-c ?b ? ?a ?l ?i ?g ?n ?\C-m up ?\C-e ? ?\\ ?l ?a ?b ?e ?l ?{ down down ?\C-e ?\C-m ?% ?\C-m up up up]) (fset 'align* [?% ?\C-m ?\C-c ?b ? ?a ?l ?i ?g ?n ?* ?\C-m down ?\C-e ?\C-m ?% ?\C-m up up up]) (fset 'pmatrix "\C-cb pmatrix\C-m") (fset 'matrix [?\C-c ?b ? ?m ?a ?t ?r ?i ?x ?\C-m down ?\C-e ?\C-m up up]) (fset 'smatrix [?\\ ?l ?e ?f ?t ?( ?\C-c ?b ? ?s ?m ?a ?l ?l ?m ?a ?t ?r ?i ?x ?\C-m down left backspace backspace backspace backspace backspace backspace ?\C-e ?\C-m up up]) (fset 'itemize [?% ?\C-m ?\C-c ?b ? ?i ?t ?e ?m ?i ?z ?e ?\C-m down down ?% ?\C-m up up left]) (fset 'enumerate [?% ?\C-m ?\C-c ?b ? ?e ?n ?u ?m ?e ?r ?a ?t ?e ?\C-m down ?\C-e ?\C-m ?% ?\C-m up up left]) (fset 'CD [?% ?\C-m ?\C-c ?b ? ?C ?D ?\C-m down ?\C-e ?\C-m ?% left up up]) (fset 'cases [?% ?\C-m ?\C-c ?b ? ?c ?a ?s ?e ?s ?\C-m down ?\C-e ?\C-m ?% ?\C-m up up up]) (fset 'thm [?% ?\C-m ?\C-c ?b ? ?t ?h ?m ?\C-m down ?\C-e ?\C-m ?% ?\C-m up up up]) (fset 'prop [?% ?\C-m ?\C-c ?b ? ?p ?r ?o ?p ?\C-m down ?\C-e ?\C-m ?% ?\C-m up up up]) (fset 'lem [?% ?\C-m ?\C-c ?b ? ?l ?e ?m ?\C-m down ?\C-e ?\C-m ?% ?\C-m up up up]) (fset 'defn [?% ?\C-m ?\C-c ?b ? ?d ?e ?f ?n ?\C-m down ?\C-e ?\C-m ?% ?\C-m up up up]) (fset 'cor [?% ?\C-m ?\C-c ?b ? ?c ?o ?r ?\C-m down ?\C-e ?\C-m ?% ?\C-m up up up]) (fset 'condition [?% ?\C-m ?\C-c ?b ? ?c ?o ?n ?d ?\C-m down ?\C-e ?\C-m ?% ?\C-m up up up]) (fset 'exc [?% ?\C-m ?\C-c ?b ? ?e ?x ?c ?\C-m down ?\C-e ?\C-m ?% ?\C-m up up up]) (fset 'prob [?% ?\C-m ?\C-c ?b ? ?p ?r ?o ?b ?\C-m down ?\C-e ?\C-m ?% ?\C-m up up up]) (fset 'example [?% ?\C-m ?\C-c ?b ? ?e ?x ?a ?m ?p ?l ?e ?\C-m down ?\C-e ?\C-m ?% ?\C-m up up up]) (fset 'conjecture [?% ?\C-m ?\C-c ?b ? ?c ?o ?n ?k ?j backspace backspace ?j ?\C-m down ?\C-e ?\C-m ?% ?\C-m up up up]) (fset 'notation [?% ?\C-m ?\C-c ?b ? ?n ?o ?t ?a ?t ?i ?o ?n ?\C-m down ?\C-e ?\C-m ?% ?\C-m up up up]) (fset 'assump [?% ?\C-m ?\C-c ?b ? ?a ?s ?s ?u ?m ?p ?\C-m down ?\C-e ?\C-m ?% ?\C-m up up up]) (fset 'ans [?% ?\C-m ?\C-c ?b ? ?a ?n ?s ?\C-m down ?\C-e ?\C-m ?% ?\C-m up up up]) (fset 'rem [?% ?\C-m ?\C-c ?b ? ?r ?e ?m ?\C-m down ?\C-e ?\C-m ?% ?\C-m up up up]) (fset 'ack [?% ?\C-m ?\C-c ?b ? ?a ?c ?k ?\C-m down ?\C-e ?\C-m ?% ?\C-m up up up]) (fset 'proof [?% ?\C-m ?\C-c ?b ? ?p ?r ?o ?o ?f ?\C-m down ?\C-e ?\C-m ?% ?\C-m up up up]) (fset 'mskip [?\C-m ?\\ ?v ?s ?k ?i ?p ? ?1 ?0 ?p ?t ?\C-m ?\C-m ?\C-m ?\C-m ?\\ ?v ?s ?k ?i ?p ? ?1 ?0 ?p ?t ?\C-m ?\\ ?p ?a ?r ?n ?\C-m up up up up]) (fset 'head [?\C-m ?\\ ?i ?n ?p ?u ?t ? ?h ?e ?a ?d ?\C-m ?\\ ?i ?n ?p ?u ?t ? ?b ?1 ?\C-m ?\\ ?i ?n ?p ?u ?t ? ?c ?1 ?\C-m ?\C-m ?\C-c ?b ? ?d ?o ?c ?u ?m ?e ?n ?t ?\C-m ?\C-m ?\C-m ?\\ ?b ?i ?b ?l ?i ?o ?g ?r ?a ?p ?h ?y ?s ?t ?y ?l ?e ?{ ?p ?l ?a ?i ?n right ?\C-m ?\\ ?b ?i ?b ?l ?i ?o ?g ?r ?a ?p ?h ?y ?{ ?r ?e ?f ?2 right ?\C-m down ?\C-e ?\C-m up up up up up ?\C-m up]) (fset 'jhead [?\C-m ?\\ ?i ?n ?p ?u ?t ? ?j ?h ?e ?a ?d ?\C-m ?\\ ?i ?n ?p ?u ?t ? ?b ?j ?1 ?\C-m ?\\ ?i ?n ?p ?u ?t ? ?c ?j ?1 ?\C-m ?\C-m ?\C-c ?b ? ?d ?o ?c ?u ?m ?e ?n ?t ?\C-m ?\C-m ?\\ ?b ?i ?b ?l ?i ?o ?g ?r ?a ?p ?h ?y ?s ?y backspace ?t ?y ?l ?e ?{ ?p ?l ?a ?i ?n right ?\C-m ?\\ ?b ?i ?b ?l ?i ?o ?g ?r ?a ?p ?h ?y ?{ ?r ?e ?f ?2 ?j right ?\C-m down ?\C-e ?\C-m up up up up ?\C-m ?\C-m ?\C-m ?\C-m up up up up]) (fset 'math [?% ?\C-m ?\C-c ?b ? ?m ?a ?t ?h ?\C-m down ?\C-e ?\C-m ?% ?\C-m up up up]) (fset 'paren [?( right backspace]) (fset 'brace [?{ right backspace]) (fset 'brack [?[ right backspace]) (fset 'dollar [?$ right backspace]) (global-set-key "\C-cE1" 'equation) (global-set-key "\C-cE2" 'equation*) (global-set-key "\C-cQ1" 'eqalign) (global-set-key "\C-cQ2" 'eqalign*) (global-set-key "\C-cA1" 'align) (global-set-key "\C-cA2" 'align*) (global-set-key "\C-cp1" 'pmatrix) (global-set-key "\C-cp2" 'matrix) (global-set-key "\C-cp3" 'smatrix) (global-set-key "\C-cT" 'thm) (global-set-key "\C-cPP" 'prop) (global-set-key "\C-cPB" 'prob) (global-set-key "\C-cD" 'defn) (global-set-key "\C-cC" 'cor) (global-set-key "\C-cEM" 'lem) (global-set-key "\C-cX" 'exc) (global-set-key "\C-cH" 'head) (global-set-key "\C-cJ" 'jhead) (global-set-key "\C-cI" 'mskip) (global-set-key "\C-h1" 'equation) (global-set-key "\C-h2" 'equation*) (global-set-key "\C-h3" 'eqalign) (global-set-key "\C-h4" 'eqalign*) (global-set-key "\C-h5" 'align) (global-set-key "\C-h6" 'align*) (global-set-key "\C-h7" 'pmatrix) (global-set-key "\C-h8" 'matrix) (global-set-key "\C-h9" 'smatrix) (global-set-key "\C-h0" 'math) (global-set-key "\C-h(" 'paren) (global-set-key "\C-h{" 'brace) (global-set-key "\C-h[" 'brack) (global-set-key "\C-h$" 'dollar) (setq reftex-label-alist '(("prop" ?p "prop:" "~\\ref{%s}" nil ("Proposition" )) ("lem" ?l "lem:" "~\\ref{%s}" nil ("Lemma" )) ("cond" ?c "cond:" "~\\ref{%s}" nil ("Condition" )) ("conj" ?j "conj:" "~\\ref{%s}" nil ("Conjecture" )) ("defn" ?d "defn:" "~\\ref{%s}" nil ("Definition" )) ("cor" ?r "cor:" "~\\ref{%s}" nil ("Corollary" )) ("thm" ?h "thm:" "~\\ref{%s}" nil ("Theorem" )))) ;;; ;;; end of file ;;;