Changeset 5426dd8 in git

Timestamp:

Mar 27, 2002, 6:38:18 PM (21 years ago)

Author:

Thomas Markwig <keilen@…>

Branches:

(u'jengelh-datetime', 'ceac47cbc86fe4a15902392bdbb9bd2ae0ea02c6')(u'spielwiese', '0604212ebb110535022efecad887940825b97c3f')

Children:

6246289a407013267ca92abd09e79c6a44aba2b6

Parents:

743bd97ce2e19d20fd0ab2457b63f5c5ec4aa805

Message:

*** empty log message ***


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

File:

• doc/INSTALL_rpm.texi (modified) (2 diffs)

doc/INSTALL_rpm.texi

@@ -1 +1 @@
 @comment -*-texinfo-*-
-@comment $Id: INSTALL_rpm.texi,v 1.7 2002-03-26 17:10:06 mschulze Exp $
+@comment $Id: INSTALL_rpm.texi,v 1.8 2002-03-27 17:38:18 keilen Exp $
 @c FILE: INSTALL_rpm.texi
 @c PURPOSE: Installation instruction for Singular on RPM based Linux systems
@@ -150 +150 @@
 in a command shell.
 @item
-There is a menu @code{Singular @value{RPM_VERSION}} in the @sc{gnome} and @sc{kde} menu with menu items @code{Singular}, @code{ESingular}, and @code{Manual}.
-Click on the menu items @code{Singular} to run @sc{Singular} @value{RPM_VERSION} in a terminal, on the menu item @code{ESingular} to run @sc{Singular} @value{RPM_VERSION} under @sc{Emacs}, and on the menu item @code{Manual} to read the @sc{Singular} @value{RPM_VERSION} manual.
+There is a menu @code{Singular @value{RPM_VERSION}} in the @sc{gnome} and @sc{kde} menu with menu items @code{TSingular}, @code{ESingular}, and @code{Manual}.
+Click on the menu item @code{TSingular} to run @sc{Singular} @value{RPM_VERSION} in a terminal, on the menu item @code{ESingular} to run @sc{Singular} @value{RPM_VERSION} under @sc{Emacs}, and on the menu item @code{Manual} to read the @sc{Singular} @value{RPM_VERSION} manual.
 @end enumerate