[Date Prev][Date Next] [Chronological] [Thread] [Top]

[mizar] mmlquery for 4.92.996

To: mizar-forum@mizar.uwb.edu.pl
Subject: [mizar] mmlquery for 4.92.996
From: Jesse Alama <alama@stanford.edu>
Date: Tue, 13 Nov 2007 11:20:59 -0800

Judging from 

  http://mmlquery.mizar.org/mmlquery/downloads/

it looks like the MMLQuery downloads for MML version 4.92.996 aren't
available.  (Also, the installation instructions for the system are
missing.)  Any chance of making those available?

Thanks,

Jesse

-- 
Jesse Alama (alama@stanford.edu)

Follow-Ups:
- Re: [mizar] mmlquery for 4.92.996
  - From: Grzegorz Bancerek <bancerek@math.uwb.edu.pl>

Prev by Date: [mizar] html for 4.92.996
Next by Date: Re: [mizar] mmlquery for 4.92.996
Index(es):
- Chronological
- Thread