2002-03-07 17:24:55 +00:00
|
|
|
2002-03-07 Martin Vermeer <martin.vermeer@hut.fi>
|
|
|
|
|
|
|
|
|
|
* style.xbm:
|
|
|
|
|
* font.xbm: Improved the bitmaps.
|
|
|
|
|
|
|
|
|
|
* deco.xbm: added leftright arrows.
|
|
|
|
|
|
2002-01-29 12:43:58 +00:00
|
|
|
2002-01-28 Angus Leeming <a.leeming@ic.ac.uk>
|
|
|
|
|
|
|
|
|
|
* ams_arrows.xbm:
|
|
|
|
|
* ams_misc.xbm:
|
|
|
|
|
* deco.xbm:
|
|
|
|
|
* font.xbm:
|
|
|
|
|
* style.xbm: removed first, empty line.
|
|
|
|
|
|
|
|
|
|
* style.xbm: the defined height didn't match what is in the bitmap.
|
|
|
|
|
It does now.
|
|
|
|
|
|
2002-01-29 12:31:24 +00:00
|
|
|
2002-01-28 Martin Vermeer <martin.vermeer@hut.fi>
|
|
|
|
|
|
|
|
|
|
* style.xbm:
|
|
|
|
|
* font.xbm: new files. The bitmaps for the maths style dialog.
|
|
|
|
|
|
2002-01-28 14:24:01 +00:00
|
|
|
2002-01-28 Martin Vermeer <martin.vermeer@hut.fi>
|
|
|
|
|
|
|
|
|
|
* deco.xbm: added math accents as a separate bitmap to the Decorations
|
|
|
|
|
sub-panel of mathed. See Lamport Table 3.11.
|
|
|
|
|
|
2002-01-28 14:36:39 +00:00
|
|
|
* ams_rel.xbm:
|
|
|
|
|
* ams_nrel.xbm: shorten and broaden the pixmaps.
|
|
|
|
|
|
2002-01-18 12:18:20 +00:00
|
|
|
2002-01-17 Martin Vermeer <martin.vermeer@hut.fi>
|
2002-01-15 15:31:19 +00:00
|
|
|
|
2002-01-18 12:18:20 +00:00
|
|
|
* ams_arrows.xbm:
|
|
|
|
|
* ams_rel.xbm:
|
|
|
|
|
* ams_nrel.xbm:
|
|
|
|
|
* ams_misc.xbm:
|
|
|
|
|
* ams_ops.xbm: Bitmap files for the maths sub-panels.
|
|
|
|
|
|
|
|
|
|
2002-01-14 Martin Vermeer <martin.vermeer@hut.fi>
|
|
|
|
|
|
|
|
|
|
* misc.xpm: added maths sub-panels for Blackboard Bold
|
2002-01-15 15:31:19 +00:00
|
|
|
and Calligraphic math symbols.
|
|
|
|
|
|
2002-01-09 14:40:34 +00:00
|
|
|
2002-01-09 Martin Vermeer <martin.vermeer@hut.fi>
|
|
|
|
|
|
|
|
|
|
* style.xpm: style button for the math panel
|
|
|
|
|
|
2002-01-18 12:18:20 +00:00
|
|
|
2002-01-03 Martin Vermeer <martin.vermeer@hut.fi>
|
2002-01-03 15:42:48 +00:00
|
|
|
|
|
|
|
|
* super.xpm:
|
|
|
|
|
* sub.xpm: sub- and superscript buttons for the math panel
|
