home *** CD-ROM | disk | FTP | other *** search
/ Language/OS - Multiplatform Resource Library / LANGUAGE OS.iso / oper_sys / weyl / weyl_lsp.lha / emacs-patches.el < prev    next >
Encoding:
Text File  |  1991-10-03  |  1.1 KB  |  32 lines
  1. ;;; ===========================================================================
  2. ;;;            Various Emacs Hacks for Weyl
  3. ;;; ===========================================================================
  4. ;;; (c) Copyright 1989 Cornell University
  5.  
  6. ;; The following indentation guides are not needed for the Lisp machine,
  7. ;; where &body information is sufficient
  8.  
  9. (def-lisp-indentation choose 2)
  10. (def-lisp-indentation permute 2)
  11. (def-lisp-indentation map-over-expressions 2)
  12.  
  13. (def-lisp-indentation merge-terms-in-sum 1)
  14. (def-lisp-indentation def-ge-operator 1)
  15. (def-lisp-indentation declare-derivative 3)
  16. (def-lisp-indentation defmethod-binary 3)
  17.  
  18. (def-lisp-indentation bind-domain-context 1)
  19. (def-lisp-indentation accumulate-terms 3)
  20. (def-lisp-indentation add-domain 1)
  21. (def-lisp-indentation map-over-each-term 2)
  22. (def-lisp-indentation pair-up-terms 4)
  23. (def-lisp-indentation with-numerator-and-denominator 2)
  24.  
  25. (def-lisp-indentation make-bigfloat 1)
  26. (def-lisp-indentation make-element 1)
  27. (def-lisp-indentation make-quaternion 1)
  28. (def-lisp-indentation with-matrix-dimensions 2)
  29. (def-lisp-indentation loop-vector-bind 2)
  30.  
  31. (def-lisp-indentation def-grobner-test 4)
  32.