equal
deleted
inserted
replaced
|
1 "{ Encoding: utf8 }" |
|
2 |
1 " |
3 " |
2 COPYRIGHT (c) 2007 by eXept Software AG |
4 COPYRIGHT (c) 2007 by eXept Software AG |
3 All Rights Reserved |
5 All Rights Reserved |
4 |
6 |
5 This software is furnished under a license and may be used |
7 This software is furnished under a license and may be used |
1374 |
1376 |
1375 "Modified: / 05-10-2007 / 13:11:45 / cg" |
1377 "Modified: / 05-10-2007 / 13:11:45 / cg" |
1376 ! |
1378 ! |
1377 |
1379 |
1378 openDocumentation |
1380 openDocumentation |
|
1381 "Called when <F1> is pressed" |
|
1382 |
1379 self openHTMLDocument: 'tools/misc/TOP.html#MODULEINFO' |
1383 self openHTMLDocument: 'tools/misc/TOP.html#MODULEINFO' |
1380 |
1384 |
1381 "Modified: / 05-10-2007 / 13:11:45 / cg" |
1385 "Modified: / 05-10-2007 / 13:11:45 / cg" |
1382 ! |
1386 ! |
1383 |
1387 |