Commit | Date | |
---|---|---|
[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 | |
[r11570]
by
bugman
The relax PDF manual is now opened in a os native app with 'F1' or 'Help->Manual'. |
2010-09-15 19:08:35 | Tree |
[r11569]
by
bugman
The reference window is now fully functional. The back and forward buttons are removed and now links are opened in an external webbrowser. |
2010-09-15 18:27:03 | Tree |