Re: Jade Maintenance (Was: RE: Sorted table of contents?)

<-prev [Thread] next->	<-prev [Date] next->
Month Index \| List Home

Re: Jade Maintenance (Was: RE: Sorted table of contents?)

Subject: Re: Jade Maintenance (Was: RE: Sorted table of contents?)
From: Matthias Clasen <clasen@xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx>
Date: Thu, 29 Apr 1999 23:24:08 +0200

> > 
> I am interrested in at least trying them out. Would you send them to me,
> please?
> 

OK, all I could find was  one jumbo patch  which applies cleanly
against 1.2.1.  I have put it at

ftp://peano.mathematik.uni-freiburg.de/pub/jade/jade-1.2.1.patch

Matthias


-- 
Matthias Clasen, 
Tel. 0761/203-5606
Email: clasen@xxxxxxxxxxxxxxxxxxxxxxxxxx
Mathematisches Institut, Albert-Ludwigs-Universitaet Freiburg


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

Current Thread
Jade Maintenance (Was: RE: Sorted table of contents?) Avi Kivity - Wed, 28 Apr 1999 08:38:51 -0400 (EDT) Matthias Clasen - Wed, 28 Apr 1999 09:34:35 -0400 (EDT) Peter Nilsson - Wed, 28 Apr 1999 18:26:35 -0400 (EDT) Matthias Clasen - Thu, 29 Apr 1999 17:33:30 -0400 (EDT) <= Adam Di Carlo - Fri, 30 Apr 1999 20:02:15 -0400 (EDT) Didier PH Martin - Wed, 28 Apr 1999 11:06:02 -0400 (EDT) Peter Nilsson - Wed, 28 Apr 1999 18:23:31 -0400 (EDT) Adam Di Carlo - Fri, 30 Apr 1999 20:07:03 -0400 (EDT)

Current Thread

Jade Maintenance (Was: RE: Sorted table of contents?)
- Avi Kivity - Wed, 28 Apr 1999 08:38:51 -0400 (EDT)
  - Matthias Clasen - Wed, 28 Apr 1999 09:34:35 -0400 (EDT)
    - Peter Nilsson - Wed, 28 Apr 1999 18:26:35 -0400 (EDT)
      - Matthias Clasen - Thu, 29 Apr 1999 17:33:30 -0400 (EDT) <=
      - Adam Di Carlo - Fri, 30 Apr 1999 20:02:15 -0400 (EDT)
  - Didier PH Martin - Wed, 28 Apr 1999 11:06:02 -0400 (EDT)
  - Peter Nilsson - Wed, 28 Apr 1999 18:23:31 -0400 (EDT)
    - Adam Di Carlo - Fri, 30 Apr 1999 20:07:03 -0400 (EDT)

<- Previous	Index	Next ->
Re: Jade Maintenance (Was: RE: Sort, Peter Nilsson	Thread	Re: Jade Maintenance (Was: RE: Sort, Adam Di Carlo
About the source library, Didier PH Martin	Date	Re: About the source library, Sebastian Rahtz
	Month