No edit summary |
No edit summary |
||
| Line 13: | Line 13: | ||
<html> | <html> | ||
<iframe id="forum_embed" | <iframe id="forum_embed" | ||
src= | src="javascript:void(0)" | ||
scrolling="no" | scrolling="no" | ||
frameborder="0" | frameborder="0" | ||
| Line 20: | Line 19: | ||
height="700"> | height="700"> | ||
</iframe> | </iframe> | ||
<script type="text/javascript"> | |||
document.getElementById('forum_embed').src = | |||
'https://groups.google.com/forum/embed/?place=forum/prob-users' | |||
+ '&showsearch=true&showpopout=true&showtabs=false' | |||
+ '&parenturl=' + encodeURIComponent(window.location.href); | |||
</script> | |||
</html> | </html> | ||
Jens_Bendisposto:Model Checkers
ProB 2.0 Requirements Document
Please help us to improve this documentation by providing feedback in our bug tracker, asking questions in our prob-users group or sending an email to Michael Leuschel.