1 |
@comment -*-texinfo-*- |
@comment -*-texinfo-*- |
2 |
@comment This file was generated by doc2tex.pl from general.doc |
@comment This file was generated by doc2tex.pl from general.doc |
3 |
@comment DO NOT EDIT DIRECTLY, BUT EDIT general.doc INSTEAD |
@comment DO NOT EDIT DIRECTLY, BUT EDIT general.doc INSTEAD |
4 |
@comment $Id$ |
@comment Id: general.tex,v 1.1 2003/08/08 14:27:06 pertusus Exp $ |
5 |
@comment this file contains the general information about Singular |
@comment this file contains the general information about Singular |
6 |
|
|
7 |
@c The following directives are necessary for proper compilation |
@c The following directives are necessary for proper compilation |
4409 |
//////////////////////////////////////////////////////////////////// |
//////////////////////////////////////////////////////////////////// |
4410 |
// version string automatically expanded by CVS |
// version string automatically expanded by CVS |
4411 |
|
|
4412 |
version="$Id$"; |
version="Id: general.tex,v 1.1 2003/08/08 14:27:06 pertusus Exp $"; |
4413 |
category="Miscellaneous"; |
category="Miscellaneous"; |
4414 |
// summary description of the library |
// summary description of the library |
4415 |
info=" |
info=" |