From 83c17d014db00b096d586ab0b9fd545620992a46 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Fri, 13 Mar 2009 14:38:45 +0000 Subject: [PATCH] Tweaks to Eclipse Java formatting defn. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@989 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/etc/prism-eclipse-formatter.xml | 453 +++++++++++++------------- 1 file changed, 233 insertions(+), 220 deletions(-) diff --git a/prism/etc/prism-eclipse-formatter.xml b/prism/etc/prism-eclipse-formatter.xml index 643e8249..5c78069d 100644 --- a/prism/etc/prism-eclipse-formatter.xml +++ b/prism/etc/prism-eclipse-formatter.xml @@ -1,251 +1,264 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + - - - - - - - - - - - + + + + + + - + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + - - - - - - - - - - + + + + + + + + + + + + + + + + + + - - - - + + - - - - - - - - - - - - - - - - - - - - - - - - + + - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + - - + + + + + + + + - - - - - - - - - + - - - - - + + + + + + + + + - + + + - - - - - - - - - - - + + + + + + + + + + - - - + + + + - - - + + + + + - - - + + + + + + + + + + + + + + - - - - - - - - - - - - - - + + + + + - - - - - - + + + + + + + - - - - + + + + + + + + + + - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +