On Tuesday 31 July 2001 17:10, John Levon wrote:
> On Mon, Jul 30, 2001 at 06:23:49PM +0100, Angus Leeming wrote:
>
> > Nope. Maybe it didn't get ported in the Great Rewrite. Or maybe I trashed
it
> > when hacking your (rather magnificent) efforts all that time ago. Either
way,
> > cvsweb is
On Mon, Jul 30, 2001 at 06:23:49PM +0100, Angus Leeming wrote:
> Nope. Maybe it didn't get ported in the Great Rewrite. Or maybe I trashed it
> when hacking your (rather magnificent) efforts all that time ago. Either way,
> cvsweb is your friend.
cvs tells me it got lost during the splitting o
On Monday 30 July 2001 18:09, John Levon wrote:
> On Mon, Jul 30, 2001 at 04:18:18PM +0200, Michael Schmitt wrote:
>
> > Hi Andre,
> >
> > have you removed the various kinds of dots from the math panel (misc)? I
> > cannot find them anymore...
>
> hmm, it wasn't me. Angus, any idea what happene
On Mon, Jul 30, 2001 at 04:18:18PM +0200, Michael Schmitt wrote:
> Hi Andre,
>
> have you removed the various kinds of dots from the math panel (misc)? I
> cannot find them anymore...
hmm, it wasn't me. Angus, any idea what happened to MM_DOTS ?
john
--
"I'd rather be rudely informed than po
On Mon, Jul 30, 2001 at 04:18:18PM +0200, Michael Schmitt wrote:
> Hi Andre,
>
> have you removed the various kinds of dots from the math panel (misc)? I
> cannot find them anymore...
urgh, yeah where did they go ? Did I trash them ? Let me check.
john
--
"I'd rather be rudely informed than
> Hi Andre,
>
> have you removed the various kinds of dots from the math panel (misc)? I
> cannot find them anymore...
I do not have write access to that part of the world, so I certainly did
not remove anything over there...
Otoh, maybe the DotsInset is completely broken nowadays...
Andre'
-
Hi Andre,
have you removed the various kinds of dots from the math panel (misc)? I
cannot find them anymore...
Michael
--
==
Michael Schmittphone: +49 451 500 3725
Institute for Telematics
