From e45249d5764ad691a88619b3abbb0bd3cbc04552 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Mon, 17 Mar 2008 23:11:00 +0000 Subject: [PATCH] Eclipse formatting defn file. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@686 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/etc/prism-eclipse-formatter.xml | 251 ++++++++++++++++++++++++++ 1 file changed, 251 insertions(+) create mode 100644 prism/etc/prism-eclipse-formatter.xml diff --git a/prism/etc/prism-eclipse-formatter.xml b/prism/etc/prism-eclipse-formatter.xml new file mode 100644 index 00000000..643e8249 --- /dev/null +++ b/prism/etc/prism-eclipse-formatter.xml @@ -0,0 +1,251 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +