Changeset 83dfa9 in git

Timestamp:
Apr 28, 1998, 2:40:11 PM (25 years ago)
Author:
Hans Schönemann <hannes@…>
Branches:
(u'jengelh-datetime', 'ceac47cbc86fe4a15902392bdbb9bd2ae0ea02c6')(u'spielwiese', 'a800fe4b3e9d37a38c5a10cc0ae9dfa0c15a4ee6')
Children:
5aa83d187890c757e7a51eeb5df543d235f5b4bb
Parents:
5111699dc7eae4ae403bc41e6957e2bf3f4e59cf
Message:
* wichmann: + added folding marks for map.
            + updated menu for map.
            + added newlines before subsections.
            + added MP link substructure and some text.
            + moved section "def" to right position and inserted text.
            + removed subsections which are not needed.


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

Note: See TracChangeset for help on using the changeset viewer.