source: git/doc/types.doc @ 9b7eb0

spielwiese
Last change on this file since 9b7eb0 was 83dfa9, checked in by Hans Schönemann <hannes@…>, 26 years ago
* 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
  • Property mode set to 100644
File size: 74.8 KB

HTML preview not available, since no preview renderer could handle it. Try downloading the file instead.

Note: See TracBrowser for help on using the repository browser.