• Navigation
  • Main Page
  • User Manual
  • Tutorials
  • Developer Manual
  • Benchmarks
  • Licence
  • Logic Calculator
• Special Pages
  • Recent changes
• User
  • Log in

Help

Template:Restructuring: Difference between revisions

Revision as of 09:46, 29 December 2010 (view source) Jens Bendisposto (talk | contribs) (Created page with '{| cellpadding="5" cellspacing="0" | style="background:#ED6666;" | File:out_of_date_icon.png | style="background:#ED6666;" | '''IMPORTANT''' We are currently restructuring th…')		Latest revision as of 09:47, 29 December 2010 (view source) Jens Bendisposto (talk | contribs) No edit summary
Line 1:		Line 1:
	{| cellpadding="5" cellspacing="0"		{| cellpadding="5" cellspacing="0"
	| style="background:#ED6666;" | [[File:out_of_date_icon.png]]		| style="background:#ED6666;" | [[File:out_of_date_icon.png]]
	| style="background:#ED6666;" | '''IMPORTANT''' We are currently restructuring the ProB plug-in. After completion we will fix the documentation!		| style="background:#ED6666;" | '''IMPORTANT'''
			We are currently restructuring the ProB plug-in. After completion we will fix the documentation!
	|}		|}

---

Latest revision as of 09:47, 29 December 2010

IMPORTANT We are currently restructuring the ProB plug-in. After completion we will fix the documentation!