log

age author description
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