prepare release 1.0

markokoleznik · Sep 14, 2015 · b2d12a5 · b2d12a5
1 parent cc7ae27
commit b2d12a5
Show file tree

Hide file tree

Showing 3 changed files with 29 additions and 2 deletions.
diff --git a/.gitignore b/.gitignore
@@ -14,3 +14,23 @@ AgdaWriter.xcodeproj/project.xcworkspace/xcuserdata/markokoleznik.xcuserdatad/xc
 *.xcbkptlist
 
 *.xcbkptlist
+
+Agda Writer/Base.lproj/.DS_Store
+
+Agda Writer/Images.xcassets/.DS_Store
+
+Agda Writer/Images.xcassets/AppIcon.appiconset/.DS_Store
+
+Agda WriterTests/.DS_Store
+
+Agda Writer/agda/.DS_Store
+
+Agda Writer/.DS_Store
+
+Agda Writer.xcodeproj/xcuserdata/markokoleznik.xcuserdatad/xcdebugger/Breakpoints_v2.xcbkptlist
+
+Agda Writer.xcodeproj/xcuserdata/markokoleznik.xcuserdatad/xcdebugger/Breakpoints_v2.xcbkptlist
+
+*.xcbkptlist
+
+.DS_Store
diff --git a/...j/project.xcworkspace/xcuserdata/markokoleznik.xcuserdatad/UserInterfaceState.xcuserstate b/...j/project.xcworkspace/xcuserdata/markokoleznik.xcuserdatad/UserInterfaceState.xcuserstate
diff --git a/Agda Writer/AppDelegate.m b/Agda Writer/AppDelegate.m
@@ -19,11 +19,18 @@ @implementation AppDelegate
 
 - (void)applicationDidFinishLaunching:(NSNotification *)aNotification {
     // Insert code here to initialize your application
-
     // check for agda!
     if ([[AWNotifications agdaLaunchPath] isEqualToString:@""]) {
         // agda path is not yet set
-        NSArray * reasonablePlacesForAgda = @[@"~/.cabal/bin/agda", @"~/Library/Haskell/bin/agda", @"/Library/Haskell/bin/agda"];
+
+
+
+        NSArray * reasonablePlacesForAgda =
+        @[
+            @"~/.cabal/bin/agda",
+            @"~/Library/Haskell/bin/agda",
+            @"/Library/Haskell/bin/agda"
+        ];
         for (NSString * path in reasonablePlacesForAgda) {
 
             if ([self isAgdaAvaliableAtPath:path]) {