Commit | Date | |
---|---|---|
[r11580]
by
bugman
Created the 'View->relax prompt' menu entry with icon. This currently does nothing. |
2010-09-16 08:53:11 | Tree |
2010-09-16 08:49:29 | Tree | |
[r11578]
by
bugman
The Bieri GUI is now the default and only GUI for relax. The options -b and --bieri have been removed. The -g and --gui options require no following 'bieri' $ relax -g or: $ relax --gui |
2010-09-16 08:22:32 | Tree |
2010-09-16 08:14:35 | Tree | |
2010-09-16 08:12:54 | Tree | |
2010-09-16 08:07:31 | Tree | |
2010-09-16 08:06:47 | Tree | |
[r11573]
by
bugman
Merged revisions 11571-11572 via svnmerge from ........ |
2010-09-16 08:01:47 | Tree |
2010-09-16 08:00:23 | Tree | |
2010-09-16 07:59:26 | Tree |