| JML Reference Manual DRAFT, $Revision: 1.220 $ $Date: 2008/01/08 22:43:42 $ (2008) | |||||||||||||||
Abstract | |||||||||||||||
| Permission is granted for you to make copies of this manual for educational and scholarly purposes, and for commercial use in specifying software, but the copies may not be sold or otherwise used for direct commercial advantage; this permission is granted provided that this copyright and permission notice is preserved on all copies. All other rights reserved. Version Information: @(#) $Id: jmlrefman.texinfo,v 1.220 2008/01/08 22:43:42 leavens Exp $ | |||||||||||||||
Details der Publikation | |||||||||||||||
| |||||||||||||||