| Wed, 22 Jun 2011 16:01:30 +0200 | wenzelm | clarified chunk.offset, chunk.length; | changeset | files |
| Tue, 21 Jun 2011 23:08:16 +0200 | wenzelm | avoid fractional font metrics, which makes rendering really ugly (e.g. on Linux); | changeset | files |
| Tue, 21 Jun 2011 22:40:30 +0200 | wenzelm | some arrow symbols from DejaVuSansMono for bsub/esub/bsup/esup; | changeset | files |
| Tue, 21 Jun 2011 21:34:36 +0200 | wenzelm | more precise font transformations: shift sub/superscript, adjust size for user fonts; | changeset | files |
| Tue, 21 Jun 2011 17:17:39 +0200 | blanchet | don't change the way helpers are generated for the exporter's sake | changeset | files |
| Tue, 21 Jun 2011 17:17:39 +0200 | blanchet | provide appropriate type system and number of fact defaults for remote ATPs | changeset | files |