[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Starting NuPRL under GNU Emacs

From: Paulo Jorge de Oliveira Cantante de Matos
Subject: Starting NuPRL under GNU Emacs
Date: Mon, 08 Dec 2003 22:28:25 +0000

Hi all,

NuPRL defined some funcions to be added to .emacs to start NuPRL 5. The
functions are as follows:
;;Starting Nuprl5
(defun nuprl5 ()
  (message "Starting NuPRL 5 Library, Editor, and Refiner ...")
  (sleep-for 5)

(defun nuprl-frame (bufname height top-corner cmd)
    (set-buffer (make-comint bufname "/bin/bash" nil "-v"))
    (switch-to-buffer-other-frame (concat "*" bufname "*"))
    (let ((NuPRLframe (car (cadr (current-frame-configuration)))))
      (set-frame-size NuPRLframe 81 height)
      (set-frame-position NuPRLframe 515 top-corner)
    (set-default-font "6x10")
    (while (= (buffer-size) 0) (sleep-for 1))
    (comint-send-string bufname "limit coredumpsize 0\n")
    (comint-send-string bufname cmd)
    ) )

(defun nulib ()
  (nuprl-frame "NuLibrary" 10 76 "/home/pmatos/nuprl/bin/nulib\n")
  (message "Starting Library ...")
  (set-foreground-color "Red")
  (set-background-color "#ddddff")
  (comint-send-string "NuLibrary" "(top)\n")
  (comint-send-string "NuLibrary" "go.\n")

(defun nurefine ()
  (nuprl-frame "NuRefine" 10 280 "/home/pmatos/nuprl/bin/nuref\n")
  (message "Starting Refiner ...")
  (set-foreground-color "Green4")
  (set-background-color "#ffffbb")
  (comint-send-string "NuRefine" "(top)\n")
  (comint-send-string "NuRefine" "go.\n")

(defun nuedit ()
  (nuprl-frame "NuEditor" 10 178 "/home/pmatos/nuprl/bin/nuedd\n")
  (message "Starting Editor ... please be patient")
  (set-foreground-color "midnightblue")
  (set-background-color "#ffd8ff")
  (comint-send-string "NuEditor" "(top)\n")
  (comint-send-string "NuEditor" "go.\n")
  (comint-send-string "NuEditor" "win.\n")

(defun nuxit ()
  (message "Shutting Down NuPRL 5 Library, Editor, and Refiner ...")
  (comint-send-string "NuEditor" "stop.\n")
  (comint-send-string "NuRefiner" "stop.\n")
  (sleep-for 5)

I only changed the line:
  (set-buffer (make-comint bufname "/bin/bash" nil "-v"))
which had /bin/csh instead of bash but I changed it because I'm using
However when I try to start them I get an error in one of the windows:
Starting NuPRL 5 Library, Editor, and Refiner ...
save-excursion: Wrong type argument: stringp, nil

Any ideas on how I can correct this?

Best regards,

Paulo J. Matos : pocm [_at_] mega . ist . utl . pt
Instituto Superior Tecnico - Lisbon
Computer and Software Eng. - A.I.
 - >
        -> God had a deadline...
                So, he wrote it all in Lisp!

reply via email to

[Prev in Thread] Current Thread [Next in Thread]