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

[mizar] Mizar on Darwin/Mac OS X (PPC) released

To: Mizar Forum <mizar-forum@mizar.uwb.edu.pl>
Subject: [mizar] Mizar on Darwin/Mac OS X (PPC) released
From: Artur Kornilowicz <artur@asuka.cs.shinshu-u.ac.jp>
Date: Wed, 20 Oct 2004 21:26:11 +0900

Dear All,

it is our pleasure to inform that the Mizar system has been ported toDarwin/Mac OS X (PPC). It is accessible from our standard place


http://mizar.uwb.edu.pl/system/index.html#download

Greetings
Artur K

Prev by Date: [mizar] validation theory
Next by Date: [mizar] Re:
Index(es):
- Chronological
- Thread