Re: [Mathlib-develop] Missing Files for SymbolicToken
Status: Beta
Brought to you by:
st_mueller
From: mark <msp...@ya...> - 2003-02-22 21:59:20
|
On Friday 21 Feb 2003 5:38 pm, Stefan Mueller wrote: > Hi Mark, > > there are a couple of files missing. > Please see below, > > kind regards, > Stefan. I've uploaded all the files to do with symbolic calculations. When runnin= g the=20 full test I'm getting a lot of errors. I'll try to reduce the number over= the=20 next week. Best Regards Mark =20 |