wenzelm [Wed, 12 Sep 2012 16:54:24 +0200] rev 50349
load fonts into JavaFX as well;
wenzelm [Wed, 12 Sep 2012 16:27:44 +0200] rev 50348
some support for actual HTML rendering;
wenzelm [Wed, 12 Sep 2012 15:01:25 +0200] rev 50347
merged
blanchet [Wed, 12 Sep 2012 12:43:34 +0200] rev 50346
free variable name tuning
blanchet [Wed, 12 Sep 2012 12:06:03 +0200] rev 50345
reuse generated names (they look better + slightly more efficient)
blanchet [Wed, 12 Sep 2012 11:47:51 +0200] rev 50344
desambiguate grammar (e.g. for Nil's mixfix ("[]"))
blanchet [Wed, 12 Sep 2012 11:39:05 +0200] rev 50343
avoided duplicate lemma
blanchet [Wed, 12 Sep 2012 11:38:22 +0200] rev 50342
put an underscore between names, for compatibility with old package (and also because it makes sense)
blanchet [Wed, 12 Sep 2012 10:36:00 +0200] rev 50341
got rid of metis calls
blanchet [Wed, 12 Sep 2012 10:35:56 +0200] rev 50340
tuning