RE: patched jade binaries win 32

Subject: RE: patched jade binaries win 32
From: Sebastian Rahtz <s.rahtz@xxxxxxxxxxxxxx>
Date: Thu, 10 Sep 1998 16:18:03 +0100 ( `)
Horst Kucharczyk writes:
 > I'm glad to say that with these binaries the "\Character" works fine.
 > 
 > ... and they do not correspond with the 
 > http://ourworld.compuserve.com/homepages/hoenicka_markus/jadew-1.3.1.zip. 
 > 

With all due respect to Markus, please do not regard his site as
canonical. The files (jade111-sr.zip and jadetex.dtx) on
http://www.tug.org/applications/jadetex) are supposed to be in
sync. If they are not, its a serious error on my part, please shout at
me personally. No more, no less.

I will attempt to make these things self-checking!

Sebastian


 DSSSList info and archive:  http://www.mulberrytech.com/dsssl/dssslist


Current Thread
  • RE: patched jade binaries win 32, (continued)
        • Sebastian Rahtz - from mail1.ability.netby web4-1.ability.net (8.8.5/8.6.12) with ESMTP id JAA09407Thu, 10 Sep 1998 09:51:50 -0400 (EDT)
        • Horst Kucharczyk - from mail1.ability.netby web4-1.ability.net (8.8.5/8.6.12) with ESMTP id KAA14334Thu, 10 Sep 1998 10:27:50 -0400 (EDT)
        • Sebastian Rahtz - from mail1.ability.netby web4-1.ability.net (8.8.5/8.6.12) with ESMTP id KAA19167Thu, 10 Sep 1998 10:38:23 -0400 (EDT)
        • Horst Kucharczyk - from mail1.ability.netby web4-1.ability.net (8.8.5/8.6.12) with ESMTP id LAA21188Thu, 10 Sep 1998 11:09:35 -0400 (EDT)
        • Sebastian Rahtz - from mail1.ability.netby web4-1.ability.net (8.8.5/8.6.12) with ESMTP id LAA21532Thu, 10 Sep 1998 11:21:10 -0400 (EDT) <=
        • Horst Kucharczyk - from mail1.ability.netby web4-1.ability.net (8.8.5/8.6.12) with ESMTP id LAA22637Thu, 10 Sep 1998 11:45:15 -0400 (EDT)
    • Dr. Markus Hönicka - from mail1.ability.netby web4-1.ability.net (8.8.5/8.6.12) with ESMTP id LAA22013Thu, 10 Sep 1998 11:32:35 -0400 (EDT)
      • Sebastian Rahtz - from mail1.ability.netby web4-1.ability.net (8.8.5/8.6.12) with ESMTP id LAA22400Thu, 10 Sep 1998 11:40:06 -0400 (EDT)