| 4,10 → 4,10 |
|---|
| * Coded by: Group 5, software practice summer 2003 |
| * University of Bielefeld, Germany |
| * |
| * @version $Revision: 1.11 $ |
| * @version $Revision: 1.12 $ |
| * |
| * Last modification: $Date: 2003/07/15 14:39:55 $ |
| * $Id: DocumentManagerInterface.java,v 1.11 2003/07/15 14:39:55 hjokusch Exp $ |
| * Last modification: $Date: 2003/07/15 17:13:28 $ |
| * $Id: DocumentManagerInterface.java,v 1.12 2003/07/15 17:13:28 smcsporr Exp $ |
| */ |
| |
| package src.control; |
| 67,4 → 67,12 |
|---|
| * Last revision: 13-Jul-2003 by Sascha W. |
| */ |
| public String getActualDocumentName(); |
| |
| // 15.07.2003 added Y.Klassen, V.Zudova |
| /** |
| * returns file of the actual document |
| * |
| * @return file of the actual document |
| */ |
| public File getActualDocumentFile(); |
| } |