Re: [isabelle] Emacs/Isabelle crash



I had the same problem. It seems as if the Unicode-Token/X-Symbol Syntax with \<...> is causing it. There is however the alternative to use just \... (which works in most cases) and which doesn't cause the same problem. Hence, if you would like to have nice symbols, I recommend to enter \not for negation (which will expand to \<not> but -- at least on my machine (and I'm on Fedora Linux) -- doesn't lead to a crash).

cheers

chris

On 04/26/2011 09:34 AM, Tobias Nipkow wrote:
Use ~ for negation.

Tobias

Am 25/04/2011 17:19, schrieb David Brumley:
Hi,
I downloaded isabelle today for OS X from the main website
(Isabelle2011.dmg). I'm working through the tutorial at
http://isabelle.in.tum.de/doc/tutorial.pdf. On page 20, I go to enter
in the type declaration given, using
\<not>

for the negation in the "value" method (per appendix A.1). Emacs
reliably crashes every time I do this. Crash report below.


What would be the best course of action to move forward? Install
carbon emacs 22.x? Use some other symbol entry for negation (what
would I use?)

Thanks,
David



Process: Emacs [62639]
Path:
/Applications/Isabelle2011.app/Contents/Resources/Emacs.app/Contents/MacOS/Emacs

Identifier: org.gnu.Emacs
Version: Version 23.2 (9.0)
Code Type: X86-64 (Native)
Parent Process: bash [62631]

Date/Time: 2011-04-25 11:16:16.359 -0400
OS Version: Mac OS X 10.6.7 (10J869)
Report Version: 6

Interval Since Last Report: 2506101 sec
Crashes Since Last Report: 11
Per-App Interval Since Last Report: 3565 sec
Per-App Crashes Since Last Report: 3
Anonymous UUID: 6B212705-6B54-44EC-8BE3-2EEC5563842D

Exception Type: EXC_CRASH (SIGABRT)
Exception Codes: 0x0000000000000000, 0x0000000000000000
Crashed Thread: 0 Dispatch queue: com.apple.main-thread

Application Specific Information:
abort() called

Thread 0 Crashed: Dispatch queue: com.apple.main-thread
0 libSystem.B.dylib 0x00007fff8020a5d6 __kill + 10
1 libSystem.B.dylib 0x00007fff802aacd6 abort + 83
2 org.gnu.Emacs 0x000000010016e44c ns_term_shutdown + 44
3 org.gnu.Emacs 0x0000000100090274 fatal_error_signal + 340
4 libSystem.B.dylib 0x00007fff8021c66a _sigtramp + 26
5 libSystem.B.dylib 0x00007fff8020a5d6 __kill + 10
6 libSystem.B.dylib 0x00007fff802aacd6 abort + 83
7 org.gnu.Emacs 0x00000001000bdd95
buf_charpos_to_bytepos + 389
8 org.gnu.Emacs 0x0000000100160a7b
composition_update_it + 539
9 org.gnu.Emacs 0x000000010002eca3
next_element_from_composition + 131
10 org.gnu.Emacs 0x000000010002f0b6
next_element_from_buffer + 182
11 org.gnu.Emacs 0x000000010002f235
next_element_from_buffer + 565
12 org.gnu.Emacs 0x000000010002bc90
get_next_display_element + 64
13 org.gnu.Emacs 0x0000000100032aba display_line + 474
14 org.gnu.Emacs 0x000000010003d313 try_window + 163
15 org.gnu.Emacs 0x000000010003f009 redisplay_window + 6713
16 org.gnu.Emacs 0x0000000100040847 redisplay_window_0 + 39
17 org.gnu.Emacs 0x00000001001075ae
internal_condition_case_1 + 334
18 org.gnu.Emacs 0x0000000100029a9d redisplay_windows + 93
19 org.gnu.Emacs 0x000000010004148c redisplay_internal + 3116
20 org.gnu.Emacs 0x000000010009e8be read_char + 2350
21 org.gnu.Emacs 0x00000001000a104f read_key_sequence + 1215
22 org.gnu.Emacs 0x00000001000a31f9 Fread_key_sequence + 313
23 org.gnu.Emacs 0x0000000100109256 Ffuncall + 1126
24 org.gnu.Emacs 0x0000000100145aae Fbyte_code + 6814
25 org.gnu.Emacs 0x0000000100108bfc funcall_lambda + 588
26 org.gnu.Emacs 0x0000000100109042 Ffuncall + 594
27 org.gnu.Emacs 0x0000000100145aae Fbyte_code + 6814
28 org.gnu.Emacs 0x0000000100108bfc funcall_lambda + 588
29 org.gnu.Emacs 0x0000000100109042 Ffuncall + 594
30 org.gnu.Emacs 0x000000010010a78e call1 + 30
31 org.gnu.Emacs 0x000000010009e44f read_char + 1215
32 org.gnu.Emacs 0x00000001000a104f read_key_sequence + 1215
33 org.gnu.Emacs 0x00000001000a35cb command_loop_1 + 587
34 org.gnu.Emacs 0x0000000100107717
internal_condition_case + 327
35 org.gnu.Emacs 0x000000010009a9a7 command_loop_2 + 55
36 org.gnu.Emacs 0x0000000100107820 internal_catch + 224
37 org.gnu.Emacs 0x000000010009b436 command_loop + 182
38 org.gnu.Emacs 0x000000010009b89f recursive_edit_1 + 159
39 org.gnu.Emacs 0x000000010009ba3f Frecursive_edit + 287
40 org.gnu.Emacs 0x000000010009102c main + 3452
41 org.gnu.Emacs 0x0000000100002034 start + 52

Thread 1: Dispatch queue: com.apple.libdispatch-manager
0 libSystem.B.dylib 0x00007fff801d512a kevent + 10
1 libSystem.B.dylib 0x00007fff801d6ffd _dispatch_mgr_invoke + 154
2 libSystem.B.dylib 0x00007fff801d6cd4
_dispatch_queue_invoke + 185
3 libSystem.B.dylib 0x00007fff801d67fe
_dispatch_worker_thread2 + 252
4 libSystem.B.dylib 0x00007fff801d6128 _pthread_wqthread + 353
5 libSystem.B.dylib 0x00007fff801d5fc5 start_wqthread + 13

Thread 0 crashed with X86 Thread State (64-bit):
rax: 0x0000000000000000 rbx: 0x0000000000000006 rcx:
0x00007fff5fbf3fe8 rdx: 0x0000000000000000
rdi: 0x000000000000f4af rsi: 0x0000000000000006 rbp:
0x00007fff5fbf4000 rsp: 0x00007fff5fbf3fe8
r8: 0x0000000000000001 r9: 0x0000000119ba57a0 r10:
0x00007fff80206616 r11: 0x0000000000000206
r12: 0x0000000000000006 r13: 0x0000000100534d48 r14:
0x0000000000000200 r15: 0x00000000000000ac
rip: 0x00007fff8020a5d6 rfl: 0x0000000000000206 cr2: 0x0000000102a35fff

Binary Images:
0x100000000 - 0x1001d9fff +org.gnu.Emacs Version 23.2
(9.0)<7D762A3A-B020-669B-93E9-CD4525AAB2E1>
/Applications/Isabelle2011.app/Contents/Resources/Emacs.app/Contents/MacOS/Emacs

0x1013aa000 - 0x1013aeff7 libFontRegistryUI.dylib ???
(???)<89E50DF0-2A72-B443-28AE-5F27EC7E22C7>
/System/Library/Frameworks/ApplicationServices.framework/Frameworks/ATS.framework/Resources/libFontRegistryUI.dylib

0x7fff5fc00000 - 0x7fff5fc3bdef dyld 132.1 (???)
<486E6C61-1197-CC7C-2197-82CE505102D7> /usr/lib/dyld
0x7fff800d1000 - 0x7fff801b7fef com.apple.DesktopServices
1.5.10 (1.5.10)<B7E00D85-F971-D85B-0217-482E15E9E924>
/System/Library/PrivateFrameworks/DesktopServicesPriv.framework/Versions/A/DesktopServicesPriv

0x7fff801b8000 - 0x7fff801bafff libRadiance.dylib ??? (???)
<73257486-8E94-E758-1A5A-5B521F27EE12>
/System/Library/Frameworks/ApplicationServices.framework/Versions/A/Frameworks/ImageIO.framework/Versions/A/Resources/libRadiance.dylib

0x7fff801bb000 - 0x7fff8037cfff libSystem.B.dylib 125.2.10
(compatibility 1.0.0)<9BAEB2F2-B485-6349-E1AB-637FE12EE770>
/usr/lib/libSystem.B.dylib
0x7fff803c1000 - 0x7fff804d8fef libxml2.2.dylib 10.3.0
(compatibility 10.0.0)<1B27AFDD-DF87-2009-170E-C129E1572E8B>
/usr/lib/libxml2.2.dylib
0x7fff80582000 - 0x7fff80740fff libicucore.A.dylib 40.0.0
(compatibility 1.0.0)<2C6ECACF-CD56-1714-6F63-CB6F5EE7A1E2>
/usr/lib/libicucore.A.dylib
0x7fff80741000 - 0x7fff80750fff com.apple.opengl 1.6.12
(1.6.12)<29482652-1E44-1C47-428F-1209AA65336D>
/System/Library/Frameworks/OpenGL.framework/Versions/A/OpenGL
0x7fff80751000 - 0x7fff80909fef com.apple.ImageIO.framework
3.0.4 (3.0.4)<EFB373AE-FE02-40C4-ABDC-09D61AFD25EA>
/System/Library/Frameworks/ApplicationServices.framework/Versions/A/Frameworks/ImageIO.framework/Versions/A/ImageIO

0x7fff8090a000 - 0x7fff80917fe7 libCSync.A.dylib 545.0.0
(compatibility 64.0.0)<45B5B514-7CEB-38A9-F34A-1D96F010EC42>
/System/Library/Frameworks/ApplicationServices.framework/Versions/A/Frameworks/CoreGraphics.framework/Versions/A/Resources/libCSync.A.dylib

0x7fff80918000 - 0x7fff8091dfff libGIF.dylib ??? (???)
<1B9DCB7F-CD1D-B23F-8AC6-5292B94A4D0E>
/System/Library/Frameworks/ApplicationServices.framework/Versions/A/Frameworks/ImageIO.framework/Versions/A/Resources/libGIF.dylib

0x7fff8091e000 - 0x7fff80cbbfe7 com.apple.QuartzCore 1.6.3
(227.36)<6FD8E129-135E-2F89-E9F0-A3CD0C6FCEF1>
/System/Library/Frameworks/QuartzCore.framework/Versions/A/QuartzCore
0x7fff80e1d000 - 0x7fff80ed3fff libobjc.A.dylib 227.0.0
(compatibility 1.0.0)<99CB3A0F-64CF-1D16-70CD-8AED2EF06C30>
/usr/lib/libobjc.A.dylib
0x7fff80fed000 - 0x7fff81018ff7 libxslt.1.dylib 3.24.0
(compatibility 3.0.0)<87A0B228-B24A-C426-C3FB-B40D7258DD49>
/usr/lib/libxslt.1.dylib
0x7fff8108e000 - 0x7fff81095fff com.apple.OpenDirectory 10.6
(10.6)<4200CFB0-DBA1-62B8-7C7C-91446D89551F>
/System/Library/Frameworks/OpenDirectory.framework/Versions/A/OpenDirectory

0x7fff81096000 - 0x7fff81130ff7
com.apple.ApplicationServices.ATS 4.4 (???)
<55B528A6-0C88-6CB8-152B-A34A440FACFE>
/System/Library/Frameworks/ApplicationServices.framework/Versions/A/Frameworks/ATS.framework/Versions/A/ATS

0x7fff81131000 - 0x7fff811b6ff7
com.apple.print.framework.PrintCore 6.3 (312.7)
<CDFE82DD-D811-A091-179F-6E76069B432D>
/System/Library/Frameworks/ApplicationServices.framework/Versions/A/Frameworks/PrintCore.framework/Versions/A/PrintCore

0x7fff81210000 - 0x7fff81214ff7 libCGXType.A.dylib 545.0.0
(compatibility 64.0.0)<49E6AF5D-AF9B-67CF-A6B8-C79F6BA8A627>
/System/Library/Frameworks/ApplicationServices.framework/Versions/A/Frameworks/CoreGraphics.framework/Versions/A/Resources/libCGXType.A.dylib

0x7fff81215000 - 0x7fff8132efef libGLProgrammability.dylib
??? (???)<C4BB281B-629D-08ED-2991-3D51671B0B02>
/System/Library/Frameworks/OpenGL.framework/Versions/A/Libraries/libGLProgrammability.dylib

0x7fff81348000 - 0x7fff8136dff7 com.apple.CoreVideo 1.6.2
(45.6)<E138C8E7-3CB6-55A9-0A2C-B73FE63EA288>
/System/Library/Frameworks/CoreVideo.framework/Versions/A/CoreVideo
0x7fff81873000 - 0x7fff81884ff7 libz.1.dylib 1.2.3
(compatibility 1.0.0)<97019C74-161A-3488-41EC-A6CA8738418C>
/usr/lib/libz.1.dylib
0x7fff8197e000 - 0x7fff81984ff7 com.apple.CommerceCore 1.0
(9)<4C66D962-91B5-F25C-A6FF-DFD5F924A0DD>
/System/Library/PrivateFrameworks/CommerceKit.framework/Versions/A/Frameworks/CommerceCore.framework/Versions/A/CommerceCore

0x7fff81a03000 - 0x7fff81a17ff7
com.apple.speech.synthesis.framework 3.10.35 (3.10.35)
<621B7415-A0B9-07A7-F313-36BEEDD7B132>
/System/Library/Frameworks/ApplicationServices.framework/Versions/A/Frameworks/SpeechSynthesis.framework/Versions/A/SpeechSynthesis

0x7fff81a18000 - 0x7fff81a5bff7 libRIP.A.dylib 545.0.0
(compatibility 64.0.0)<2C596A24-8B86-79D6-1A8E-5E8FFB6A1558>
/System/Library/Frameworks/ApplicationServices.framework/Versions/A/Frameworks/CoreGraphics.framework/Versions/A/Resources/libRIP.A.dylib

0x7fff81a5c000 - 0x7fff81a6aff7 libkxld.dylib ??? (???)
<27713C39-0E51-8F5A-877B-C5539C96A520> /usr/lib/system/libkxld.dylib
0x7fff81aa9000 - 0x7fff81b09fe7 com.apple.framework.IOKit 2.0
(???)<D107CB8A-5182-3AC4-35D0-07068A695C05>
/System/Library/Frameworks/IOKit.framework/Versions/A/IOKit
0x7fff81b0a000 - 0x7fff81baafff com.apple.LaunchServices
362.2 (362.2)<A8EDC37C-1D40-5ED0-49BE-90EF110A6B3A>
/System/Library/Frameworks/CoreServices.framework/Versions/A/Frameworks/LaunchServices.framework/Versions/A/LaunchServices

0x7fff81bab000 - 0x7fff81bb1ff7 com.apple.DiskArbitration 2.3
(2.3)<857F6E43-1EF4-7D53-351B-10DE0A8F992A>
/System/Library/Frameworks/DiskArbitration.framework/Versions/A/DiskArbitration

0x7fff81bb6000 - 0x7fff81bd9fff com.apple.opencl 12.3.6
(12.3.6)<42FA5783-EB80-1168-4015-B8C68F55842F>
/System/Library/Frameworks/OpenCL.framework/Versions/A/OpenCL
0x7fff81c22000 - 0x7fff81c9ffef libstdc++.6.dylib 7.9.0
(compatibility 7.0.0)<35ECA411-2C08-FD7D-11B1-1B7A04921A5C>
/usr/lib/libstdc++.6.dylib
0x7fff81da7000 - 0x7fff81dd8fff libGLImage.dylib ??? (???)
<6925991A-9B1B-B9FA-645A-807F9BCC3DE7>
/System/Library/Frameworks/OpenGL.framework/Versions/A/Libraries/libGLImage.dylib

0x7fff81dd9000 - 0x7fff81e01fff com.apple.DictionaryServices
1.1.2 (1.1.2)<E9269069-93FA-2B71-F9BA-FDDD23C4A65E>
/System/Library/Frameworks/CoreServices.framework/Versions/A/Frameworks/DictionaryServices.framework/Versions/A/DictionaryServices

0x7fff81e02000 - 0x7fff81e51fef libTIFF.dylib ??? (???)
<F0F7F0B7-7253-F88F-9E2D-FA3770143758>
/System/Library/Frameworks/ApplicationServices.framework/Versions/A/Frameworks/ImageIO.framework/Versions/A/Resources/libTIFF.dylib

0x7fff81e60000 - 0x7fff81e60ff7 com.apple.vecLib 3.6 (vecLib
3.6)<96FB6BAD-5568-C4E0-6FA7-02791A58B584>
/System/Library/Frameworks/vecLib.framework/Versions/A/vecLib
0x7fff81e61000 - 0x7fff81eb0ff7
com.apple.DirectoryService.PasswordServerFramework 6.1 (6.1)
<01B370FB-D524-F660-3826-E85B7F0D85CD>
/System/Library/PrivateFrameworks/PasswordServer.framework/Versions/A/PasswordServer

0x7fff81eec000 - 0x7fff81f6bfe7 com.apple.audio.CoreAudio
3.2.6 (3.2.6)<6D8AD3F7-409D-512C-C5BE-66C64D1B8F3E>
/System/Library/Frameworks/CoreAudio.framework/Versions/A/CoreAudio
0x7fff81f70000 - 0x7fff8202dfff
com.apple.CoreServices.OSServices 359 (359)
<8F509D8D-4C94-9A1C-3A87-5B775D9F6075>
/System/Library/Frameworks/CoreServices.framework/Versions/A/Frameworks/OSServices.framework/Versions/A/OSServices

0x7fff822d2000 - 0x7fff82387fe7 com.apple.ink.framework 1.3.3
(107)<8C36373C-5473-3A6A-4972-BC29D504250F>
/System/Library/Frameworks/Carbon.framework/Versions/A/Frameworks/Ink.framework/Versions/A/Ink

0x7fff823be000 - 0x7fff82406ff7 libvDSP.dylib 268.0.1
(compatibility 1.0.0)<98FC4457-F405-0262-00F7-56119CA107B6>
/System/Library/Frameworks/Accelerate.framework/Versions/A/Frameworks/vecLib.framework/Versions/A/libvDSP.dylib

0x7fff82407000 - 0x7fff8244eff7 com.apple.coreui 2 (114)
<923E33CC-83FC-7D35-5603-FB8F348EE34B>
/System/Library/PrivateFrameworks/CoreUI.framework/Versions/A/CoreUI
0x7fff8244f000 - 0x7fff82e45fff com.apple.AppKit 6.6.7
(1038.35)<9F4DF818-9DB9-98DA-490C-EF29EA757A97>
/System/Library/Frameworks/AppKit.framework/Versions/C/AppKit
0x7fff82e46000 - 0x7fff830c9fe7 com.apple.Foundation 6.6.6
(751.53)<476E617B-B59B-53DE-991D-98C1993BCBCE>
/System/Library/Frameworks/Foundation.framework/Versions/C/Foundation
0x7fff831b3000 - 0x7fff831d0ff7 libPng.dylib ??? (???)
<0C232C1E-49C8-F7A9-9634-DF2BDA1AB722>
/System/Library/Frameworks/ApplicationServices.framework/Versions/A/Frameworks/ImageIO.framework/Versions/A/Resources/libPng.dylib

0x7fff834b2000 - 0x7fff83542fff com.apple.SearchKit 1.3.0
(1.3.0)<4175DC31-1506-228A-08FD-C704AC9DF642>
/System/Library/Frameworks/CoreServices.framework/Versions/A/Frameworks/SearchKit.framework/Versions/A/SearchKit

0x7fff8358e000 - 0x7fff835c7fef libcups.2.dylib 2.8.0
(compatibility 2.0.0)<F8E0672F-C0B4-B161-E50D-A1405D14F21C>
/usr/lib/libcups.2.dylib
0x7fff835c8000 - 0x7fff835c8ff7 com.apple.CoreServices 44
(44)<DC7400FB-851E-7B8A-5BF6-6F50094302FB>
/System/Library/Frameworks/CoreServices.framework/Versions/A/CoreServices
0x7fff835c9000 - 0x7fff83613ff7 com.apple.Metadata 10.6.3
(507.15)<5170FCE0-ED6C-2E3E-AB28-1DDE3F628FC5>
/System/Library/Frameworks/CoreServices.framework/Versions/A/Frameworks/Metadata.framework/Versions/A/Metadata

0x7fff83614000 - 0x7fff836d5fef com.apple.ColorSync 4.6.6
(4.6.6)<EC6C8119-23F6-A96E-47A3-5CD31E462AE3>
/System/Library/Frameworks/ApplicationServices.framework/Versions/A/Frameworks/ColorSync.framework/Versions/A/ColorSync

0x7fff836d6000 - 0x7fff83797fff libFontParser.dylib ??? (???)
<244BCE74-7EEE-C9DE-9779-F3AEF5869BE6>
/System/Library/Frameworks/ApplicationServices.framework/Versions/A/Frameworks/ATS.framework/Versions/A/Resources/libFontParser.dylib

0x7fff837ac000 - 0x7fff837b1fff libGFXShared.dylib ??? (???)
<878C429B-44D4-875C-1A35-4FD8C6152695>
/System/Library/Frameworks/OpenGL.framework/Versions/A/Libraries/libGFXShared.dylib

0x7fff837f7000 - 0x7fff83818fff libresolv.9.dylib 41.0.0
(compatibility 1.0.0)<9F322F47-0584-CB7D-5B73-9EBD670851CD>
/usr/lib/libresolv.9.dylib
0x7fff83819000 - 0x7fff8385afef com.apple.QD 3.36 (???)
<5DC41E81-32C9-65B2-5528-B33E934D5BB4>
/System/Library/Frameworks/ApplicationServices.framework/Versions/A/Frameworks/QD.framework/Versions/A/QD

0x7fff8385d000 - 0x7fff83992ff7
com.apple.audio.toolbox.AudioToolbox 1.6.6 (1.6.6)
<AFAB42A2-A3A8-83D8-D583-613625706690>
/System/Library/Frameworks/AudioToolbox.framework/Versions/A/AudioToolbox
0x7fff83a27000 - 0x7fff83a40fff com.apple.CFOpenDirectory
10.6 (10.6)<CCF79716-7CC6-2520-C6EB-A4F56AD0A207>
/System/Library/Frameworks/OpenDirectory.framework/Versions/A/Frameworks/CFOpenDirectory.framework/Versions/A/CFOpenDirectory

0x7fff83aae000 - 0x7fff83aeffff com.apple.SystemConfiguration
1.10.5 (1.10.2)<FB39F09C-57BB-D8CC-348D-93E00C602F7D>
/System/Library/Frameworks/SystemConfiguration.framework/Versions/A/SystemConfiguration

0x7fff84065000 - 0x7fff8407bfe7
com.apple.MultitouchSupport.framework 207.10 (207.10)
<458F0259-6EDC-16BA-E6AA-1CEED002D188>
/System/Library/PrivateFrameworks/MultitouchSupport.framework/Versions/A/MultitouchSupport

0x7fff8407c000 - 0x7fff84091ff7 com.apple.LangAnalysis 1.6.6
(1.6.6)<1AE1FE8F-2204-4410-C94E-0E93B003BEDA>
/System/Library/Frameworks/ApplicationServices.framework/Versions/A/Frameworks/LangAnalysis.framework/Versions/A/LangAnalysis

0x7fff84092000 - 0x7fff841b3fe7 libcrypto.0.9.8.dylib 0.9.8
(compatibility 0.9.8)<48AEAFE1-21F4-B3C8-4199-35AD5E8D0613>
/usr/lib/libcrypto.0.9.8.dylib
0x7fff84521000 - 0x7fff84547fe7 libJPEG.dylib ??? (???)
<AD42F658-7C32-EEE5-8341-A8EE6476BF46>
/System/Library/Frameworks/ApplicationServices.framework/Versions/A/Frameworks/ImageIO.framework/Versions/A/Resources/libJPEG.dylib

0x7fff84548000 - 0x7fff84548ff7 com.apple.Accelerate 1.6
(Accelerate 1.6)<15DF8B4A-96B2-CB4E-368D-DEC7DF6B62BB>
/System/Library/Frameworks/Accelerate.framework/Versions/A/Accelerate
0x7fff84549000 - 0x7fff8454fff7 IOSurface ??? (???)
<EAD87C9F-BADC-7116-4ADD-0B0679459D24>
/System/Library/Frameworks/IOSurface.framework/Versions/A/IOSurface
0x7fff84550000 - 0x7fff84734ff7 libType1Scaler.dylib ???
(???)<2C7624EC-01D5-5E9E-3FB8-8ADA460ED6DE>
/System/Library/Frameworks/ApplicationServices.framework/Versions/A/Frameworks/ATS.framework/Versions/A/Resources/libType1Scaler.dylib

0x7fff84735000 - 0x7fff84f3ffe7 libBLAS.dylib 219.0.0
(compatibility 1.0.0)<FC941ECB-71D0-FAE3-DCBF-C5A619E594B8>
/System/Library/Frameworks/Accelerate.framework/Versions/A/Frameworks/vecLib.framework/Versions/A/libBLAS.dylib

0x7fff84f40000 - 0x7fff84f41ff7
com.apple.audio.units.AudioUnit 1.6.6 (1.6.6)
<BE4E577D-87EC-8FD0-5341-AE99CE4ADC99>
/System/Library/Frameworks/AudioUnit.framework/Versions/A/AudioUnit
0x7fff84fa5000 - 0x7fff84fa5ff7 com.apple.Accelerate.vecLib
3.6 (vecLib 3.6)<4CCE5D69-F1B3-8FD3-1483-E0271DB2CCF3>
/System/Library/Frameworks/Accelerate.framework/Versions/A/Frameworks/vecLib.framework/Versions/A/vecLib

0x7fff84fd0000 - 0x7fff8500ffef libncurses.5.4.dylib 5.4.0
(compatibility 5.4.0)<9D53BE03-6D81-D0CB-F657-4E842E69A66A>
/usr/lib/libncurses.5.4.dylib
0x7fff85010000 - 0x7fff85344fff
com.apple.CoreServices.CarbonCore 861.34 (861.34)
<B5680539-CB31-6C6D-C0AD-606D4D46E7F5>
/System/Library/Frameworks/CoreServices.framework/Versions/A/Frameworks/CarbonCore.framework/Versions/A/CarbonCore

0x7fff85345000 - 0x7fff853affe7 libvMisc.dylib 268.0.1
(compatibility 1.0.0)<AF0EA96D-000F-8C12-B952-CB7E00566E08>
/System/Library/Frameworks/Accelerate.framework/Versions/A/Frameworks/vecLib.framework/Versions/A/libvMisc.dylib

0x7fff853ba000 - 0x7fff853d0fef libbsm.0.dylib ??? (???)
<42D3023A-A1F7-4121-6417-FCC6B51B3E90> /usr/lib/libbsm.0.dylib
0x7fff853d1000 - 0x7fff85404fff libTrueTypeScaler.dylib ???
(???)<632BAC10-4C24-D1F2-3943-DF5F2326318B>
/System/Library/Frameworks/ApplicationServices.framework/Versions/A/Frameworks/ATS.framework/Versions/A/Resources/libTrueTypeScaler.dylib

0x7fff85421000 - 0x7fff854d1fff edu.mit.Kerberos 6.5.11
(6.5.11)<085D80F5-C9DC-E252-C21B-03295E660C91>
/System/Library/Frameworks/Kerberos.framework/Versions/A/Kerberos
0x7fff856c3000 - 0x7fff856d7fff libGL.dylib ??? (???)
<0FA671EB-6FA0-BA97-C00A-C42247C22B26>
/System/Library/Frameworks/OpenGL.framework/Versions/A/Libraries/libGL.dylib

0x7fff8571f000 - 0x7fff857f1fe7 com.apple.CFNetwork 454.11.12
(454.11.12)<B1C9008A-4A5D-609D-5D10-C93DAD6FFB4C>
/System/Library/Frameworks/CoreServices.framework/Versions/A/Frameworks/CFNetwork.framework/Versions/A/CFNetwork

0x7fff857f2000 - 0x7fff858abfff libsqlite3.dylib 9.6.0
(compatibility 9.0.0)<2C5ED312-E646-9ADE-73A9-6199A2A43150>
/usr/lib/libsqlite3.dylib
0x7fff858ac000 - 0x7fff858bbfff com.apple.NetFS 3.2.2 (3.2.2)
<7CCBD70E-BF31-A7A7-DB98-230687773145>
/System/Library/Frameworks/NetFS.framework/Versions/A/NetFS
0x7fff858bc000 - 0x7fff858bdff7
com.apple.TrustEvaluationAgent 1.1 (1)
<5952A9FA-BC2B-16EF-91A7-43902A5C07B6>
/System/Library/PrivateFrameworks/TrustEvaluationAgent.framework/Versions/A/TrustEvaluationAgent

0x7fff858ca000 - 0x7fff85a08fff com.apple.CoreData 102.1
(251)<9DFE798D-AA52-6A9A-924A-DA73CB94D81A>
/System/Library/Frameworks/CoreData.framework/Versions/A/CoreData
0x7fff85a2c000 - 0x7fff85d2afff com.apple.HIToolbox 1.6.5
(???)<AD1C18F6-51CB-7E39-35DD-F16B1EB978A8>
/System/Library/Frameworks/Carbon.framework/Versions/A/Frameworks/HIToolbox.framework/Versions/A/HIToolbox

0x7fff85dc5000 - 0x7fff85e0efef libGLU.dylib ??? (???)
<0FCD57C5-D7AA-F2DD-D2EC-C1C8B931F65C>
/System/Library/Frameworks/OpenGL.framework/Versions/A/Libraries/libGLU.dylib

0x7fff85e55000 - 0x7fff85ed3ff7 com.apple.CoreText 3.151.8
(???)<5DCD6BD9-63FB-767E-5993-5AEBE890145B>
/System/Library/Frameworks/ApplicationServices.framework/Versions/A/Frameworks/CoreText.framework/Versions/A/CoreText

0x7fff85ed4000 - 0x7fff85ed5fff liblangid.dylib ??? (???)
<EA4D1607-2BD5-2EE2-2A3B-632EEE5A444D> /usr/lib/liblangid.dylib
0x7fff85ed6000 - 0x7fff85fa1fff ColorSyncDeprecated.dylib
4.6.0 (compatibility 1.0.0)<D3242F40-AA41-022C-1345-6BFC0E560460>
/System/Library/Frameworks/ApplicationServices.framework/Frameworks/ColorSync.framework/Versions/A/Resources/ColorSyncDeprecated.dylib

0x7fff85fae000 - 0x7fff8608bfff com.apple.vImage 4.1 (4.1)
<C3F44AA9-6F71-0684-2686-D3BBC903F020>
/System/Library/Frameworks/Accelerate.framework/Versions/A/Frameworks/vImage.framework/Versions/A/vImage

0x7fff86d97000 - 0x7fff871dafef libLAPACK.dylib 219.0.0
(compatibility 1.0.0)<0CC61C98-FF51-67B3-F3D8-C5E430C201A9>
/System/Library/Frameworks/Accelerate.framework/Versions/A/Frameworks/vecLib.framework/Versions/A/libLAPACK.dylib

0x7fff871db000 - 0x7fff87216fff com.apple.AE 496.4 (496.4)
<55AAD5CA-7160-7899-1C68-562ED8160DF7>
/System/Library/Frameworks/CoreServices.framework/Versions/A/Frameworks/AE.framework/Versions/A/AE

0x7fff8728c000 - 0x7fff872d8fff libauto.dylib ??? (???)
<F7221B46-DC4F-3153-CE61-7F52C8C293CF> /usr/lib/libauto.dylib
0x7fff87544000 - 0x7fff8796ffef com.apple.RawCamera.bundle
3.6.4 (561)<C4AB0054-B2C8-246E-0F17-98F4BD5BE94C>
/System/Library/CoreServices/RawCamera.bundle/Contents/MacOS/RawCamera
0x7fff87970000 - 0x7fff879fcfef SecurityFoundation ??? (???)
<F43FDB02-CAA5-F8FF-C8D7-6665E7403ECE>
/System/Library/Frameworks/SecurityFoundation.framework/Versions/A/SecurityFoundation

0x7fff879fd000 - 0x7fff87a3aff7 libFontRegistry.dylib ???
(???)<8C69F685-3507-1B8F-51AD-6183D5E88979>
/System/Library/Frameworks/ApplicationServices.framework/Versions/A/Frameworks/ATS.framework/Versions/A/Resources/libFontRegistry.dylib

0x7fff87a3b000 - 0x7fff87a41fff libCGXCoreImage.A.dylib
545.0.0 (compatibility 64.0.0)<C863C133-EA3E-5403-FC44-FDC9F236DC98>
/System/Library/Frameworks/ApplicationServices.framework/Versions/A/Frameworks/CoreGraphics.framework/Versions/A/Resources/libCGXCoreImage.A.dylib

0x7fff87ac6000 - 0x7fff87ad8fe7 libsasl2.2.dylib 3.15.0
(compatibility 3.0.0)<76B83C8D-8EFE-4467-0F75-275648AFED97>
/usr/lib/libsasl2.2.dylib
0x7fff87ad9000 - 0x7fff87b2bff7 com.apple.HIServices 1.8.2
(???)<7C91D07D-FA20-0882-632F-0CAE4FAC2B79>
/System/Library/Frameworks/ApplicationServices.framework/Versions/A/Frameworks/HIServices.framework/Versions/A/HIServices

0x7fff87d2b000 - 0x7fff87ea2fe7 com.apple.CoreFoundation
6.6.4 (550.42)<770C572A-CF70-168F-F43C-242B9114FCB5>
/System/Library/Frameworks/CoreFoundation.framework/Versions/A/CoreFoundation

0x7fff87ee0000 - 0x7fff88168fef com.apple.security 6.1.2
(55002)<015C9A08-3D07-9462-8E91-DB1924349621>
/System/Library/Frameworks/Security.framework/Versions/A/Security
0x7fff88169000 - 0x7fff881beff7
com.apple.framework.familycontrols 2.0.2 (2020)
<F09541B6-5E28-1C01-C1AE-F6A2508670C7>
/System/Library/PrivateFrameworks/FamilyControls.framework/Versions/A/FamilyControls

0x7fff881bf000 - 0x7fff881caff7
com.apple.speech.recognition.framework 3.11.1 (3.11.1)
<3D65E89B-FFC6-4AAF-D5CC-104F967C8131>
/System/Library/Frameworks/Carbon.framework/Versions/A/Frameworks/SpeechRecognition.framework/Versions/A/SpeechRecognition

0x7fff8827d000 - 0x7fff88281ff7 libmathCommon.A.dylib 315.0.0
(compatibility 1.0.0)<95718673-FEEE-B6ED-B127-BCDBDB60D4E5>
/usr/lib/system/libmathCommon.A.dylib
0x7fff88282000 - 0x7fff88285ff7 libCoreVMClient.dylib ???
(???)<00C97B96-8D3B-45EB-F503-DB49712DC42D>
/System/Library/Frameworks/OpenGL.framework/Versions/A/Libraries/libCoreVMClient.dylib

0x7fff882a7000 - 0x7fff882c7ff7
com.apple.DirectoryService.Framework 3.6 (621.11)
<AD76C757-6701-BDB5-631E-1CB77D669586>
/System/Library/Frameworks/DirectoryService.framework/Versions/A/DirectoryService

0x7fff8862c000 - 0x7fff88d2906f com.apple.CoreGraphics
1.545.0 (???)<F0A5F62D-4C66-5B1F-4F13-322932915901>
/System/Library/Frameworks/ApplicationServices.framework/Versions/A/Frameworks/CoreGraphics.framework/Versions/A/CoreGraphics

0x7fff88e7a000 - 0x7fff88e7aff7 com.apple.ApplicationServices
38 (38)<10A0B9E9-4988-03D4-FC56-DDE231A02C63>
/System/Library/Frameworks/ApplicationServices.framework/Versions/A/ApplicationServices

0x7fffffe00000 - 0x7fffffe01fff libSystem.B.dylib ??? (???)
<9BAEB2F2-B485-6349-E1AB-637FE12EE770> /usr/lib/libSystem.B.dylib

Model: MacPro4,1, BootROM MP41.0081.B07, 4 processors, Quad-Core Intel
Xeon, 2.93 GHz, 6 GB, SMC 1.39f5
Graphics: ATI Radeon HD 4870, ATI Radeon HD 4870, PCIe, 512 MB
Memory Module: global_name
AirPort: spairport_wireless_card_type_airport_extreme (0x14E4, 0x8E),
Broadcom BCM43xx 1.0 (5.10.131.36.9)
Bluetooth: Version 2.4.0f1, 2 service, 19 devices, 1 incoming serial
ports
Network Service: Ethernet 1, Ethernet, en0
PCI Card: ATI Radeon HD 4870, Display, Slot-1
Serial ATA Device: HL-DT-ST DVD-RW GH41N
Serial ATA Device: Hitachi HDE721010SLA330, 931.51 GB
Serial ATA Device: Hitachi HDE721010SLA330, 931.51 GB
USB Device: FreeAgent, 0x0bc2, 0x3008, 0xfd300000
USB Device: Hub, 0x0424 (SMSC), 0x2514, 0xfd100000
USB Device: Hub, 0x0424 (SMSC), 0x2602, 0xfd110000
USB Device: Flash, 0x0424 (SMSC), 0x2228, 0xfd111000
USB Device: BRCM2046 Hub, 0x0a5c (Broadcom Corp.), 0x4500, 0x5a100000
USB Device: Bluetooth USB Host Controller, 0x05ac (Apple Inc.),
0x8215, 0x5a110000
FireWire Device: built-in_hub, Up to 800 Mb/sec







This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.