User:Jens Bendisposto: Difference between revisions

No edit summary
No edit summary
 
Line 13: Line 13:
<html>
<html>
<iframe id="forum_embed"
<iframe id="forum_embed"
  src='https://groups.google.com/forum/embed/?place=forum/prob-users'
  src="javascript:void(0)"
    + '&showsearch=true&showpopout=true&showtabs=false&parenturl=http://stups.hhu.de/ProB/w/User:Jens_Bendisposto'
  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>



Latest revision as of 15:48, 18 September 2015

Formating_Sandbox

Jens_Bendisposto:Conferences

Jens_Bendisposto:Model Checkers

Jens_Bendisposto:ProB 2.0

DMC

parB


ProB 2.0 Requirements Document

Feedback

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.