diff --git a/de.bmotionstudio.gef.editor/.settings/org.eclipse.core.resources.prefs b/de.bmotionstudio.gef.editor/.settings/org.eclipse.core.resources.prefs index 35c1f5a73d13cf6b4f0a370335f908432f2fe713..99f26c0203a7844de00dbfc56e6a35d8ed3c022c 100644 --- a/de.bmotionstudio.gef.editor/.settings/org.eclipse.core.resources.prefs +++ b/de.bmotionstudio.gef.editor/.settings/org.eclipse.core.resources.prefs @@ -1,3 +1,2 @@ -#Tue Nov 29 16:16:11 CET 2011 -eclipse.preferences.version=1 -encoding/<project>=UTF-8 +eclipse.preferences.version=1 +encoding/<project>=UTF-8 diff --git a/de.bmotionstudio.gef.editor/.settings/org.eclipse.core.runtime.prefs b/de.bmotionstudio.gef.editor/.settings/org.eclipse.core.runtime.prefs index 11c1f686b491df30d3f56ce88d8512986f4f43b2..5a0ad22d2a76684139fad95f6b8d209c7cd0d078 100644 --- a/de.bmotionstudio.gef.editor/.settings/org.eclipse.core.runtime.prefs +++ b/de.bmotionstudio.gef.editor/.settings/org.eclipse.core.runtime.prefs @@ -1,3 +1,2 @@ -#Tue Nov 29 16:16:11 CET 2011 -eclipse.preferences.version=1 -line.separator=\n +eclipse.preferences.version=1 +line.separator=\n diff --git a/de.bmotionstudio.rodin/.settings/org.eclipse.core.resources.prefs b/de.bmotionstudio.rodin/.settings/org.eclipse.core.resources.prefs index 156f29381b0c8806bc165f075872846ca9ab5580..99f26c0203a7844de00dbfc56e6a35d8ed3c022c 100644 --- a/de.bmotionstudio.rodin/.settings/org.eclipse.core.resources.prefs +++ b/de.bmotionstudio.rodin/.settings/org.eclipse.core.resources.prefs @@ -1,3 +1,2 @@ -#Tue Nov 29 16:16:00 CET 2011 eclipse.preferences.version=1 encoding/<project>=UTF-8 diff --git a/de.bmotionstudio.rodin/.settings/org.eclipse.core.runtime.prefs b/de.bmotionstudio.rodin/.settings/org.eclipse.core.runtime.prefs index b9abd08f2a694492220a0dd285128368c2de7eac..5a0ad22d2a76684139fad95f6b8d209c7cd0d078 100644 --- a/de.bmotionstudio.rodin/.settings/org.eclipse.core.runtime.prefs +++ b/de.bmotionstudio.rodin/.settings/org.eclipse.core.runtime.prefs @@ -1,3 +1,2 @@ -#Tue Nov 29 16:16:00 CET 2011 eclipse.preferences.version=1 line.separator=\n diff --git a/de.prob.core.tests/.settings/org.eclipse.core.resources.prefs b/de.prob.core.tests/.settings/org.eclipse.core.resources.prefs new file mode 100644 index 0000000000000000000000000000000000000000..99f26c0203a7844de00dbfc56e6a35d8ed3c022c --- /dev/null +++ b/de.prob.core.tests/.settings/org.eclipse.core.resources.prefs @@ -0,0 +1,2 @@ +eclipse.preferences.version=1 +encoding/<project>=UTF-8 diff --git a/de.prob.core.tests/.settings/org.eclipse.core.runtime.prefs b/de.prob.core.tests/.settings/org.eclipse.core.runtime.prefs new file mode 100644 index 0000000000000000000000000000000000000000..5a0ad22d2a76684139fad95f6b8d209c7cd0d078 --- /dev/null +++ b/de.prob.core.tests/.settings/org.eclipse.core.runtime.prefs @@ -0,0 +1,2 @@ +eclipse.preferences.version=1 +line.separator=\n diff --git a/de.prob.core.tests/.settings/org.eclipse.jdt.core.prefs b/de.prob.core.tests/.settings/org.eclipse.jdt.core.prefs deleted file mode 100644 index 0c68a61dca867ceb49e79d2402935261ec3e3809..0000000000000000000000000000000000000000 --- a/de.prob.core.tests/.settings/org.eclipse.jdt.core.prefs +++ /dev/null @@ -1,7 +0,0 @@ -eclipse.preferences.version=1 -org.eclipse.jdt.core.compiler.codegen.inlineJsrBytecode=enabled -org.eclipse.jdt.core.compiler.codegen.targetPlatform=1.8 -org.eclipse.jdt.core.compiler.compliance=1.8 -org.eclipse.jdt.core.compiler.problem.assertIdentifier=error -org.eclipse.jdt.core.compiler.problem.enumIdentifier=error -org.eclipse.jdt.core.compiler.source=1.8 diff --git a/de.prob.core/.settings/org.eclipse.core.resources.prefs b/de.prob.core/.settings/org.eclipse.core.resources.prefs index cce8254d8f270ccabe97e134a85368162629089d..99f26c0203a7844de00dbfc56e6a35d8ed3c022c 100644 --- a/de.prob.core/.settings/org.eclipse.core.resources.prefs +++ b/de.prob.core/.settings/org.eclipse.core.resources.prefs @@ -1,3 +1,2 @@ -#Tue Nov 29 16:15:48 CET 2011 eclipse.preferences.version=1 encoding/<project>=UTF-8 diff --git a/de.prob.core/.settings/org.eclipse.core.runtime.prefs b/de.prob.core/.settings/org.eclipse.core.runtime.prefs index f5fa27d76d2330b172e744b7bb18daeb1c223d73..5a0ad22d2a76684139fad95f6b8d209c7cd0d078 100644 --- a/de.prob.core/.settings/org.eclipse.core.runtime.prefs +++ b/de.prob.core/.settings/org.eclipse.core.runtime.prefs @@ -1,3 +1,2 @@ -#Tue Nov 29 16:15:48 CET 2011 eclipse.preferences.version=1 line.separator=\n diff --git a/de.prob.eventb.disprover.core/.settings/org.eclipse.core.resources.prefs b/de.prob.eventb.disprover.core/.settings/org.eclipse.core.resources.prefs new file mode 100644 index 0000000000000000000000000000000000000000..99f26c0203a7844de00dbfc56e6a35d8ed3c022c --- /dev/null +++ b/de.prob.eventb.disprover.core/.settings/org.eclipse.core.resources.prefs @@ -0,0 +1,2 @@ +eclipse.preferences.version=1 +encoding/<project>=UTF-8 diff --git a/de.prob.eventb.disprover.core/.settings/org.eclipse.core.runtime.prefs b/de.prob.eventb.disprover.core/.settings/org.eclipse.core.runtime.prefs new file mode 100644 index 0000000000000000000000000000000000000000..5a0ad22d2a76684139fad95f6b8d209c7cd0d078 --- /dev/null +++ b/de.prob.eventb.disprover.core/.settings/org.eclipse.core.runtime.prefs @@ -0,0 +1,2 @@ +eclipse.preferences.version=1 +line.separator=\n diff --git a/de.prob.eventb.disprover.core/.settings/org.eclipse.jdt.core.prefs b/de.prob.eventb.disprover.core/.settings/org.eclipse.jdt.core.prefs deleted file mode 100644 index 0c68a61dca867ceb49e79d2402935261ec3e3809..0000000000000000000000000000000000000000 --- a/de.prob.eventb.disprover.core/.settings/org.eclipse.jdt.core.prefs +++ /dev/null @@ -1,7 +0,0 @@ -eclipse.preferences.version=1 -org.eclipse.jdt.core.compiler.codegen.inlineJsrBytecode=enabled -org.eclipse.jdt.core.compiler.codegen.targetPlatform=1.8 -org.eclipse.jdt.core.compiler.compliance=1.8 -org.eclipse.jdt.core.compiler.problem.assertIdentifier=error -org.eclipse.jdt.core.compiler.problem.enumIdentifier=error -org.eclipse.jdt.core.compiler.source=1.8 diff --git a/de.prob.eventb.disprover.ui/.settings/org.eclipse.core.resources.prefs b/de.prob.eventb.disprover.ui/.settings/org.eclipse.core.resources.prefs new file mode 100644 index 0000000000000000000000000000000000000000..99f26c0203a7844de00dbfc56e6a35d8ed3c022c --- /dev/null +++ b/de.prob.eventb.disprover.ui/.settings/org.eclipse.core.resources.prefs @@ -0,0 +1,2 @@ +eclipse.preferences.version=1 +encoding/<project>=UTF-8 diff --git a/de.prob.eventb.disprover.ui/.settings/org.eclipse.core.runtime.prefs b/de.prob.eventb.disprover.ui/.settings/org.eclipse.core.runtime.prefs new file mode 100644 index 0000000000000000000000000000000000000000..5a0ad22d2a76684139fad95f6b8d209c7cd0d078 --- /dev/null +++ b/de.prob.eventb.disprover.ui/.settings/org.eclipse.core.runtime.prefs @@ -0,0 +1,2 @@ +eclipse.preferences.version=1 +line.separator=\n diff --git a/de.prob.eventb.disprover.ui/.settings/org.eclipse.jdt.core.prefs b/de.prob.eventb.disprover.ui/.settings/org.eclipse.jdt.core.prefs deleted file mode 100644 index 0c68a61dca867ceb49e79d2402935261ec3e3809..0000000000000000000000000000000000000000 --- a/de.prob.eventb.disprover.ui/.settings/org.eclipse.jdt.core.prefs +++ /dev/null @@ -1,7 +0,0 @@ -eclipse.preferences.version=1 -org.eclipse.jdt.core.compiler.codegen.inlineJsrBytecode=enabled -org.eclipse.jdt.core.compiler.codegen.targetPlatform=1.8 -org.eclipse.jdt.core.compiler.compliance=1.8 -org.eclipse.jdt.core.compiler.problem.assertIdentifier=error -org.eclipse.jdt.core.compiler.problem.enumIdentifier=error -org.eclipse.jdt.core.compiler.source=1.8 diff --git a/de.prob.symbolic/.settings/org.eclipse.core.resources.prefs b/de.prob.symbolic/.settings/org.eclipse.core.resources.prefs new file mode 100644 index 0000000000000000000000000000000000000000..99f26c0203a7844de00dbfc56e6a35d8ed3c022c --- /dev/null +++ b/de.prob.symbolic/.settings/org.eclipse.core.resources.prefs @@ -0,0 +1,2 @@ +eclipse.preferences.version=1 +encoding/<project>=UTF-8 diff --git a/de.prob.symbolic/.settings/org.eclipse.core.runtime.prefs b/de.prob.symbolic/.settings/org.eclipse.core.runtime.prefs new file mode 100644 index 0000000000000000000000000000000000000000..5a0ad22d2a76684139fad95f6b8d209c7cd0d078 --- /dev/null +++ b/de.prob.symbolic/.settings/org.eclipse.core.runtime.prefs @@ -0,0 +1,2 @@ +eclipse.preferences.version=1 +line.separator=\n diff --git a/de.prob.symbolic/.settings/org.eclipse.jdt.core.prefs b/de.prob.symbolic/.settings/org.eclipse.jdt.core.prefs deleted file mode 100644 index 0c68a61dca867ceb49e79d2402935261ec3e3809..0000000000000000000000000000000000000000 --- a/de.prob.symbolic/.settings/org.eclipse.jdt.core.prefs +++ /dev/null @@ -1,7 +0,0 @@ -eclipse.preferences.version=1 -org.eclipse.jdt.core.compiler.codegen.inlineJsrBytecode=enabled -org.eclipse.jdt.core.compiler.codegen.targetPlatform=1.8 -org.eclipse.jdt.core.compiler.compliance=1.8 -org.eclipse.jdt.core.compiler.problem.assertIdentifier=error -org.eclipse.jdt.core.compiler.problem.enumIdentifier=error -org.eclipse.jdt.core.compiler.source=1.8 diff --git a/de.prob.ui/.settings/org.eclipse.core.resources.prefs b/de.prob.ui/.settings/org.eclipse.core.resources.prefs index fb2694f7a2383cf6390ad3d060ec220a7ebf8e10..99f26c0203a7844de00dbfc56e6a35d8ed3c022c 100644 --- a/de.prob.ui/.settings/org.eclipse.core.resources.prefs +++ b/de.prob.ui/.settings/org.eclipse.core.resources.prefs @@ -1,3 +1,2 @@ -#Tue Nov 29 16:17:05 CET 2011 eclipse.preferences.version=1 encoding/<project>=UTF-8 diff --git a/de.prob.ui/.settings/org.eclipse.core.runtime.prefs b/de.prob.ui/.settings/org.eclipse.core.runtime.prefs index 3b117ad19feee79a0afa233182efb7e81e28bcb1..5a0ad22d2a76684139fad95f6b8d209c7cd0d078 100644 --- a/de.prob.ui/.settings/org.eclipse.core.runtime.prefs +++ b/de.prob.ui/.settings/org.eclipse.core.runtime.prefs @@ -1,3 +1,2 @@ -#Tue Nov 29 16:17:05 CET 2011 eclipse.preferences.version=1 line.separator=\n diff --git a/de.prob2.disprover.feature/.settings/org.eclipse.core.resources.prefs b/de.prob2.disprover.feature/.settings/org.eclipse.core.resources.prefs new file mode 100644 index 0000000000000000000000000000000000000000..99f26c0203a7844de00dbfc56e6a35d8ed3c022c --- /dev/null +++ b/de.prob2.disprover.feature/.settings/org.eclipse.core.resources.prefs @@ -0,0 +1,2 @@ +eclipse.preferences.version=1 +encoding/<project>=UTF-8 diff --git a/de.prob2.disprover.feature/.settings/org.eclipse.core.runtime.prefs b/de.prob2.disprover.feature/.settings/org.eclipse.core.runtime.prefs new file mode 100644 index 0000000000000000000000000000000000000000..5a0ad22d2a76684139fad95f6b8d209c7cd0d078 --- /dev/null +++ b/de.prob2.disprover.feature/.settings/org.eclipse.core.runtime.prefs @@ -0,0 +1,2 @@ +eclipse.preferences.version=1 +line.separator=\n diff --git a/de.prob2.feature/.settings/org.eclipse.core.resources.prefs b/de.prob2.feature/.settings/org.eclipse.core.resources.prefs index ae8dfb5865c1107f8366e1e8c2af6ad2d1a7a9f1..99f26c0203a7844de00dbfc56e6a35d8ed3c022c 100644 --- a/de.prob2.feature/.settings/org.eclipse.core.resources.prefs +++ b/de.prob2.feature/.settings/org.eclipse.core.resources.prefs @@ -1,3 +1,2 @@ -#Tue Nov 29 16:17:25 CET 2011 eclipse.preferences.version=1 encoding/<project>=UTF-8 diff --git a/de.prob2.feature/.settings/org.eclipse.core.runtime.prefs b/de.prob2.feature/.settings/org.eclipse.core.runtime.prefs index 57a8ae0b2a629cab658cebb8c79bd02f33f25fb0..5a0ad22d2a76684139fad95f6b8d209c7cd0d078 100644 --- a/de.prob2.feature/.settings/org.eclipse.core.runtime.prefs +++ b/de.prob2.feature/.settings/org.eclipse.core.runtime.prefs @@ -1,3 +1,2 @@ -#Tue Nov 29 16:17:25 CET 2011 eclipse.preferences.version=1 line.separator=\n diff --git a/de.prob2.symbolic.feature/.settings/org.eclipse.core.resources.prefs b/de.prob2.symbolic.feature/.settings/org.eclipse.core.resources.prefs new file mode 100644 index 0000000000000000000000000000000000000000..99f26c0203a7844de00dbfc56e6a35d8ed3c022c --- /dev/null +++ b/de.prob2.symbolic.feature/.settings/org.eclipse.core.resources.prefs @@ -0,0 +1,2 @@ +eclipse.preferences.version=1 +encoding/<project>=UTF-8 diff --git a/de.prob2.symbolic.feature/.settings/org.eclipse.core.runtime.prefs b/de.prob2.symbolic.feature/.settings/org.eclipse.core.runtime.prefs new file mode 100644 index 0000000000000000000000000000000000000000..5a0ad22d2a76684139fad95f6b8d209c7cd0d078 --- /dev/null +++ b/de.prob2.symbolic.feature/.settings/org.eclipse.core.runtime.prefs @@ -0,0 +1,2 @@ +eclipse.preferences.version=1 +line.separator=\n