/sun/xmleditor/trunk/src/control/DocumentManagerInterface.java |
---|
4,9 → 4,10 |
* Coded by: Group 5, software practice summer 2003 |
* University of Bielefeld, Germany |
* |
* @version $Revision: 1.7 $ |
* @version $Revision: 1.8 $ |
* |
* Last modification: $Date: 2003/07/13 15:28:11 $ |
* Last modification: $Date: 2003/07/14 09:29:40 $ |
* $Id: PluginManager.java,v 1.19 2003/07/14 10:02:47 swalkenh Exp $ |
*/ |
package src.control; |