No edit summary |
No edit summary |
||
| Line 1: | Line 1: | ||
Shell 1: | |||
<html > | <html > | ||
<iframe src="http://www.stups.uni-duesseldorf.de/ProB/exshell/index.php?input=2**100" 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=2**100" width="100%" height="500" name="ProB Shell" border="0" frameborder="0" scrolling="no"> | ||
<p>Your Browser does not suport IFrames.</p> | |||
</iframe> | |||
</html> | |||
Shell 2: | |||
<html > | |||
<iframe src="http://www.stups.uni-duesseldorf.de/ProB/exshell/plc.html" 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> | ||
Shell 1:
Shell 2: