home *** CD-ROM | disk | FTP | other *** search
/ InfoMagic Source Code 1993 July / THE_SOURCE_CODE_CD_ROM.iso / languages / elisp / packages / LaTeXinfo.shar.2 / praxis-fmt.el < prev    next >
Encoding:
Text File  |  1990-07-22  |  1.8 KB  |  67 lines

  1. (require 'latexinfo)
  2.  
  3. ;; Praxis
  4. ;; Praxima
  5. ;; pcp
  6. ;; PC
  7. ;; PCES
  8.  
  9.  
  10. (put 'ifpraxima 'latexinfo-format 'latexinfo-format-ifpraxima)
  11. (defun latexinfo-format-ifpraxima ()
  12.   (delete-region latexinfo-command-start
  13.          (progn (re-search-forward "\\\\end[ {]ifpraxima[     }\n]")
  14.             (point))))
  15.  
  16. (put 'endifpraxima 'latexinfo-format 'latexinfo-discard-line)
  17.  
  18. (put 'praxima 'latexinfo-format 'latexinfo-format-Praxima)
  19. (defun latexinfo-format-Praxima ()
  20.   (latexinfo-parse-noarg)
  21.   (put 'ifpraxima 'latexinfo-format 'latexinfo-discard-line)
  22.   (put 'ifpraxima 'latexinfo-end 'latexinfo-discard-command)
  23.   )
  24.  
  25. (put 'Praxis 'latexinfo-format 'latexinfo-format-Praxis)
  26. (defun latexinfo-format-Praxis ()
  27.   (latexinfo-parse-noarg)
  28.   (insert "Praxis"))
  29.  
  30. (put 'Macsyma 'latexinfo-format 'latexinfo-format-Macsyma)
  31. (defun latexinfo-format-Macsyma ()
  32.   (latexinfo-parse-noarg)
  33.   (insert "Macsyma"))
  34.  
  35. (put 'pcp 'latexinfo-format 'latexinfo-discard-line-with-args)
  36.  
  37. (put 'PC 'latexinfo-format 'latexinfo-format-PC)
  38. (defun latexinfo-format-PC ()
  39.   (latexinfo-parse-noarg)
  40.   (insert "Personal Consultant"))
  41.  
  42. (put 'PCES 'latexinfo-format 'latexinfo-format-PCES)
  43. (defun latexinfo-format-PCES ()
  44.   (latexinfo-parse-noarg)
  45.   (insert "Personal Consultant Expert System"))
  46.  
  47. (put 'boxed 'latexinfo-format 'latexinfo-format-boxed)
  48. (put 'boxed 'latexinfo-end 'latexinfo-end-boxed)
  49. (defun latexinfo-format-boxed ()
  50.   (latexinfo-discard-line)
  51.   (insert "\nThe menu asks the question:\n\n")
  52.   (setq latexinfo-command-start (point))
  53.   (setq latexinfo-command-end (1+ (point)))
  54.   (latexinfo-push-stack 'example nil)
  55.   (setq fill-column (- fill-column 5))
  56.   )
  57.  
  58. (defun latexinfo-end-boxed ()
  59.   (setq fill-column (+ fill-column 5))
  60.   (latexinfo-discard-command)
  61.   (let ((stacktop
  62.      (latexinfo-pop-stack 'example)))
  63.     (latexinfo-do-itemize (nth 1 stacktop)))
  64.   (insert "\nThe choices are:\n"))
  65.  
  66.  
  67.