home
***
CD-ROM
|
disk
|
FTP
|
other
***
search
/
M.u.C.S. Disc 2000
/
MUCS2000.iso
/
anwend
/
gemar306
/
plugin
/
source
/
gemarplu.m
< prev
next >
Wrap
Text File
|
1997-01-21
|
479b
|
28 lines
IMPLEMENTATION MODULE GemarPlugParms;
(****************************************************************************
*
* Typen für PlugIn-Parameter für GEMAR.
*
* $Source$
*
* $Revision$
*
* $Author$
*
* $Date$
*
* $State$
*
*****************************************************************************
* History:
*
* $Log$
*
*
****************************************************************************)
END GemarPlugParms.