No edit summary |
No edit summary |
||
| Line 1: | Line 1: | ||
<html > | <html > | ||
<iframe src="http://www.stups.uni-duesseldorf.de/ProB/exshell/" width="100%" height="500" name="ProB Shell" border="0" frameborder="0" scrolling="no"> | <iframe src="http://www.stups.uni-duesseldorf.de/ProB/exshell/index.php?input={{{1}}}" width="100%" 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> | ||