Changeset 4cb4e3 in git


Ignore:
Timestamp:
Sep 17, 1999, 1:14:13 PM (24 years ago)
Author:
Tim Wichmann <wichmann@…>
Branches:
(u'spielwiese', 'd1ba061a762c62d3a25159d8da8b6e17332291fa')
Children:
2166ad33bd9e056089bce9df7dcbfce622ae90e8
Parents:
0b70a3a67eb5a309fca123aa0c27bfff4cf634d8
Message:
1999-09-17  T. Wichmann  <wichmann@arboretum.itwm.uni-kl.de>

	* singular.el (singular-load-library-history): introduced. Was
	missing.
	(singular-interactive-mode-menu-2): menu item "truncate lines"
	moved below folding section


git-svn-id: file:///usr/local/Singular/svn/trunk@3617 2c84dea3-7e68-4137-9b89-c4e89433aadc
File:
1 edited

Legend:

Unmodified
Added
Removed
  • emacs/singular.el

    r0b70a3 r4cb4e3  
    11;;; singular.el --- Emacs support for Computer Algebra System Singular
    22
    3 ;; $Id: singular.el,v 1.44 1999-09-17 08:32:27 obachman Exp $
     3;; $Id: singular.el,v 1.45 1999-09-17 11:14:13 wichmann Exp $
    44
    55;;; Commentary:
     
    663663      ["Fold All Output" singular-folding-fold-all-output t]
    664664      ["Unfold All Output" singular-folding-unfold-all-output t]
     665      "---"
     666      ["Truncate Lines" singular-toggle-truncate-lines
     667       :style toggle :selected truncate-lines]
    665668      "--"
    666669      (append
     
    672675                                             (not singular-demo-mode))]
    673676      ["Exit Demo" singular-demo-exit singular-demo-mode]
    674       "---"
    675       ["Truncate Lines" singular-toggle-truncate-lines
    676        :style toggle :selected truncate-lines]
    677677      )))
    678678
     
    10161016    (singular-input-filter process string)
    10171017    (singular-send-string process string)))
     1018
     1019(defvar singular-load-library-history nil
     1020  "History list for loading of singular libraries.
     1021Is used by `singular-load-library'.")
    10181022
    10191023(defun singular-load-library (nonstdlib &optional file)
Note: See TracChangeset for help on using the changeset viewer.