User:Jens Bendisposto - Revision history

Jens Bendisposto at 15:48, 18 September 2015

2015-09-18T15:48:52Z

← Older revision		Revision as of 15:48, 18 September 2015
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>

2015-09-18T15:47:43Z

← Older revision		Revision as of 15:47, 18 September 2015
Line 14:		Line 14:
	<iframe id="forum_embed"		<iframe id="forum_embed"
	src='https://groups.google.com/forum/embed/?place=forum/prob-users'		src='https://groups.google.com/forum/embed/?place=forum/prob-users'
	+ '&showsearch=true&showpopout=true&showtabs=false'		+ '&showsearch=true&showpopout=true&showtabs=false&parenturl=http://stups.hhu.de/ProB/w/User:Jens_Bendisposto'
	scrolling="no"		scrolling="no"
	frameborder="0"		frameborder="0"

2015-09-18T15:46:25Z

← Older revision		Revision as of 15:46, 18 September 2015
Line 13:		Line 13:
	<html>		<html>
	<iframe id="forum_embed"		<iframe id="forum_embed"
	src=~~"javascript~~:~~void(0)"~~		src='https://groups.google.com/forum/embed/?place=forum/prob-users'
			+ '&showsearch=true&showpopout=true&showtabs=false'
	scrolling="no"		scrolling="no"
	frameborder="0"		frameborder="0"
Line 19:		Line 20:
	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>

2015-09-18T15:45:15Z

@@ Line 10: / Line 10: @@
 [[parB]]
 [https://docs.google.com/document/pub?id=109z3qG6_KBUqm0NC9FaEF1C6_NYCJl453wcXzbovj2Q  ProB 2.0 Requirements Document]
 {{Bugtrack}}

2015-03-16T17:34:07Z

← Older revision		Revision as of 17:34, 16 March 2015
Line 9:		Line 9:
	[[DMC]]		[[DMC]]

	[[~~Using~~ parB]]		[[parB]]

	[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}}

2015-03-16T17:31:19Z

← Older revision		Revision as of 17:31, 16 March 2015
Line 7:		Line 7:
	[[Jens_Bendisposto:ProB 2.0]]		[[Jens_Bendisposto:ProB 2.0]]

	[[~~Directed and Distributed Model Checking~~]]		[[DMC]]

	[[Using parB]]		[[Using parB]]

2015-03-16T11:14:05Z

← Older revision		Revision as of 11:14, 16 March 2015
Line 8:		Line 8:

	[[Directed and Distributed Model Checking]]		[[Directed and Distributed Model Checking]]

			[[Using parB]]

	[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}}

2015-03-16T11:10:41Z

← Older revision		Revision as of 11:10, 16 March 2015
Line 7:		Line 7:
	[[Jens_Bendisposto:ProB 2.0]]		[[Jens_Bendisposto:ProB 2.0]]

	[[Distributed Model Checking]]		[[Directed and Distributed Model Checking]]

	[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}}

2015-03-16T11:10:24Z

← Older revision		Revision as of 11:10, 16 March 2015
Line 6:		Line 6:

	[[Jens_Bendisposto:ProB 2.0]]		[[Jens_Bendisposto:ProB 2.0]]

			[[Distributed Model Checking]]

	[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}}

2013-06-19T08:46:02Z

← Older revision		Revision as of 08:46, 19 June 2013
Line 9:		Line 9:
	[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]

	~~[[Template:~~Bugtrack]]		{{Bugtrack}}