No edit summary |
No edit summary |
||
| (7 intermediate revisions by the same user not shown) | |||
| Line 7: | Line 7: | ||
[[Jens_Bendisposto:ProB 2.0]] | [[Jens_Bendisposto:ProB 2.0]] | ||
[[ | [[DMC]] | ||
[[parB]] | |||
<html> | |||
<iframe id="forum_embed" | |||
src="javascript:void(0)" | |||
scrolling="no" | |||
frameborder="0" | |||
width="900" | |||
height="700"> | |||
</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> | |||
[https://docs.google.com/document/pub?id=109z3qG6_KBUqm0NC9FaEF1C6_NYCJl453wcXzbovj2Q ProB 2.0 Requirements Document] | [https://docs.google.com/document/pub?id=109z3qG6_KBUqm0NC9FaEF1C6_NYCJl453wcXzbovj2Q ProB 2.0 Requirements Document] | ||
{{Bugtrack}} | {{Bugtrack}} | ||
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.