Changeset 9e5c36 in git

Timestamp:

Jan 7, 2015, 11:48:17 AM (9 years ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')

Children:

67d94434ceb69893d93679f3e39a87502ec8801b

Parents:

7edaa7ea4b76e631c82942be8f69920eebe4a5a3

Message:

dox: intro_sing.pdf

File:

• main.dox (modified) (2 diffs)

main.dox

@@ -10 +10 @@
 - \subpage bs_page "Singular build system",
 - \subpage changes_in_sw_page "Significant changes in Singular 4",
-- Somewhat outdated Singular kernel documentation: <br/>
-  <ftp://www.mathematik.uni-kl.de/pub/Math/Singular/doc/singular-anatomy.tgz>,
+- Short introduction to general concepts (types, paths, etc.)<br/>
+  <http://www.singular.uni-kl.de/Manual/intro_sing.pdf>,
 - Short description of the Singular restructurization: <br/>
   <http://www.singular.uni-kl.de/gap-meeting-2012/SW.Aug.12.motsak.2.pdf> and
@@ -92 +92 @@
 One can easily exted any existing library by adding new sources to the
 corresponding _SOURCE specification (and headers to _HEADER).
-Sources or headers may be generated by the builds system
-(automatically by cofigure scripts, manually in compile time by
+Sources or headers may be generated by the build system
+(automatically by configure scripts, manually in compile time by
 targets in makefiles) but have to be treated specially.