(Created page with '<html> <iframe src="exshell.php" width="90%" height="400" name="ProB Shell"> <p>Your Browser does not suport IFrames.</p> </iframe> </html>') |
No edit summary |
||
| Line 1: | Line 1: | ||
<html> | <html> | ||
<iframe src="exshell | <iframe src="http://www.stups.uni-duesseldorf.de/ProB/exshell/" width="90%" height="400" name="ProB Shell"> | ||
<p>Your Browser does not suport IFrames.</p> | <p>Your Browser does not suport IFrames.</p> | ||
</iframe> | </iframe> | ||
</html> | </html> | ||