Hi Adam, Adam Grabowski <adam@math.uwb.edu.pl> writes: > the newest bugfix version of the Mizar Mathematical Library > together with newest binaries is now publicly available. Thanks! It looks like the newest GAB's (raw and HTML form) aren't available yet. When might those be available? Jesse -- Jesse Alama (alama@stanford.edu) *116: Invalid "qua" (http://www.mizar.org)