Sun, 07 May 2017 22:03:31 +0100 |
Henry S. Thompson |
tabulate unique normalised formulae
|
Sun, 07 May 2017 19:21:53 +0100 |
Henry S. Thompson |
towards comparable formulae
|
Sun, 07 May 2017 11:56:02 +0100 |
Henry S. Thompson |
updated html, ascii output to new raw doctype
|
Sun, 07 May 2017 11:55:50 +0100 |
Henry S. Thompson |
fix off-by-one error
|
Tue, 02 May 2017 10:20:59 +0100 |
Henry S. Thompson |
merge working with new refs(2), rect
|
Tue, 02 May 2017 10:00:02 +0100 |
Henry S. Thompson |
working again with new refs
|
Tue, 02 May 2017 09:20:13 +0100 |
Henry S. Thompson |
simplified rect output, refs (not refs2) working again
|