Google Code Exporter

``` Oh, and one other: if as part of a proof one proves an expression and needs to use that expression more than once in the proof -- surprisingly uncommon...

``` Can you paste console output of your program ``` Original comment by `[email protected]` on 9 Apr 2013 at 1:07 - Added labels: **** - Removed labels: ****

``` Console: 09.04.13 14:35:55,253 java[33816]: dlopen(/Users/USERNAME/Desktop/jbrowser/xulrunner/libcocoautils.jnilib, 1): no suitable image found. Did find: /Users/USERNAME/Desktop/jbrowser/xulrunner/libcocoautils.jnilib: mach-o, but wrong architecture ``` Original comment by `[email protected]` on 9 Apr 2013 at 12:37 -...

``` Looks like architecture of your os not supported ``` Original comment by `[email protected]` on 9 Apr 2013 at 1:45 - Added labels: **** - Removed labels: ****

``` I am having the same problem. How do we fix this architecture problem? ``` Original comment by `[email protected]` on 31 Oct 2013 at 3:33 - Added labels: **** -...

``` Sorry, this porject is no longer maintained ``` Original comment by `[email protected]` on 4 Nov 2013 at 11:11 - Added labels: **** - Removed labels: ****

``` Can you paste console output of your program ``` Original comment by `[email protected]` on 9 Apr 2013 at 1:08 - Added labels: **** - Removed labels: ****

``` Here i am sending the screenshot of the console. ``` Original comment by `[email protected]` on 9 Apr 2013 at 6:33 - Added labels: **** - Removed labels: **** Attachments:...

``` I mean output of eclipse console ``` Original comment by `[email protected]` on 9 Apr 2013 at 1:47 - Added labels: **** - Removed labels: ****

``` Here I am sending output of console. But no exception is written there. ``` Original comment by `[email protected]` on 10 Apr 2013 at 5:03 - Added labels: **** -...