JHilbert MediaWiki extension

[GrafZahl]

Hi,

in an effort to learn the Java programming language, I implemented
Raph Levien's GHilbert specification in Java some time ago and called
it JHilbert. Recently, JHilbert has mutated into a MediaWiki extension
(the GHilbert part remained mostly intact):

http://www.mediawiki.org/wiki/Extension:JHilbert

This means it should now in theory be possible to create the "free
library of proofs that anyone can edit" or something like that. As
this also the discussion group for GHilbert and GHilbert appears to
have been abandoned, I thought this information might be of interest
for some of the readers here. (AsteroidMeta is down for quite some
while now.)

Best regards,
[[GrafZahl]]