No edit summary |
No edit summary |
||
| Line 6: | Line 6: | ||
<html > | <html > | ||
<iframe src="http://cobra.cs.uni-duesseldorf.de/evalB/embedded.jsp" width=" | <iframe src="http://cobra.cs.uni-duesseldorf.de/evalB/embedded.jsp" width="600" height="500" name="ProB Shell" border="0" frameborder="0" scrolling="no"> | ||
<p>Your Browser does not suport IFrames.</p> | <p>Your Browser does not suport IFrames.</p> | ||
</iframe> | </iframe> | ||
</html> | </html> | ||