Thu, 11 May 2017 09:29:33 +0100 |
Henry S. Thompson |
top 20 shared formulae coloured in
|
Wed, 10 May 2017 20:13:06 +0100 |
Henry S. Thompson |
shared refs rebuilt correctly
|
Wed, 10 May 2017 16:52:04 +0100 |
Henry S. Thompson |
basic integration of shared, but copying <f> is wrong, should reconstruct by denormalising <nf> for new home
|
Tue, 09 May 2017 23:08:18 +0100 |
Henry S. Thompson |
explicit form match working, but shared still needs work
|
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
|