X-Git-Url: http://www.entropy.ch/git/LeanCalc.git/blobdiff_plain/f5fbaceee4c5c117ef600df1362fa90333ed8bc9..a40810ee12af338eb59a3e9d3a180013c951e1fb:/English.lproj/MyDocument.nib/info.nib

diff --git a/English.lproj/MyDocument.nib/info.nib b/English.lproj/MyDocument.nib/info.nib
index c3538f3..953e8d5 100644
--- a/English.lproj/MyDocument.nib/info.nib
+++ b/English.lproj/MyDocument.nib/info.nib
@@ -3,14 +3,14 @@
 <plist version="1.0">
 <dict>
 	<key>IBDocumentLocation</key>
-	<string>57 82 400 277 0 0 1440 878 </string>
+	<string>81 18 467 240 0 0 1440 878 </string>
 	<key>IBFramework Version</key>
-	<string>364.0</string>
+	<string>446.1</string>
 	<key>IBOpenObjects</key>
 	<array>
 		<integer>5</integer>
 	</array>
 	<key>IBSystem Version</key>
-	<string>7U16</string>
+	<string>8L2127</string>
 </dict>
 </plist>