| Thu, 07 May 2020 17:15:43 -0700 |
davidb |
Tabs to spaces (argh).
|
| Thu, 07 May 2020 17:12:25 -0700 |
davidb |
Always define an editor kit, so we always get HTML mode.
|
| Thu, 07 May 2020 14:21:23 -0700 |
David Barts |
tabs to spaces
|
| Thu, 07 May 2020 14:05:40 -0700 |
davidb |
Fix multiple border glitches.
|
| Thu, 07 May 2020 12:33:52 -0700 |
David Barts |
Fix help dialog.
|
| Thu, 07 May 2020 09:59:28 -0700 |
David Barts |
Get help working on Linux.
|
| Thu, 07 May 2020 08:30:56 -0700 |
David Barts |
Merge commit.
|
| Thu, 07 May 2020 08:29:58 -0700 |
David Barts |
Add help menu item, UNTESTED.
|
| Mon, 04 May 2020 18:37:34 -0700 |
David Barts |
Merged changes.
|
| Mon, 04 May 2020 18:12:59 -0700 |
David Barts |
Is it finally generating decent PDF's?
|
| Mon, 04 May 2020 11:06:44 -0700 |
David Barts |
Rename so it doesn't look like an M$ word file.
|
| Mon, 04 May 2020 11:06:14 -0700 |
David Barts |
Doc tweaks.
|
| Sun, 03 May 2020 17:36:50 -0700 |
David Barts |
Work around a launch4j bug.
|
| Sun, 03 May 2020 16:15:10 -0700 |
David Barts |
Update Building instructions; minor build system bug fixes.
|
