Inserting a "Proof" paragraph produces a crash for me, always. Here is the backtrace:
(gdb) where #0 0x401ec111 in __kill () #1 0x401ebd66 in raise (sig=6) at ../sysdeps/posix/raise.c:27 #2 0x401ed447 in abort () at ../sysdeps/generic/abort.c:88 #3 0x82169ab in lyx::abort () at abort.C:9 #4 0x822d8b8 in void lyx::Assert<bool> (assertion=false) at LAssert.h:24 #5 0x8113cee in LyXText::getFont (this=0x84e8058, buf=0x84e4340, par=0x851f858, pos=-1) at text2.C:164 #6 0x8111c02 in LyXText::paintLastRow (this=0x84e8058, p=@0xbffff09c) at text.C:3513 #7 0x811287d in LyXText::getVisibleRow (this=0x84e8058, bv=0x84c55b8, y_offset=380, x_offset=0, row=0x84c6740, y=1760, cleared=false) at text.C:3668 #8 0x80f0b6d in LyXScreen::drawFromTo (this=0x8525b70, text=0x84e8058, bv=0x84c55b8, y1=342, y2=414, y_offset=0, x_offset=0, internal=false) at screen.C:130 #9 0x80f1c56 in LyXScreen::update (this=0x8525b70, text=0x84e8058, bv=0x84c55b8, y_offset=0, x_offset=0) at screen.C:445 #10 0x8057974 in BufferView::Pimpl::update (this=0x84c2f18) at BufferView_pimpl.C:980 #11 0x8057b5c in BufferView::Pimpl::update (this=0x84c2f18, text=0x84e8058, f=7) at BufferView_pimpl.C:1052 #12 0x805a673 in BufferView::Pimpl::Dispatch (this=0x84c2f18, action=LFUN_LAYOUT, argument=@0xbffff81c) at BufferView_pimpl.C:1659 #13 0x8051412 in BufferView::Dispatch (this=0x84c55b8, action=LFUN_LAYOUT, argument=@0xbffff81c) at BufferView.C:294 #14 0x80ce52c in LyXFunc::dispatch (this=0x849a6c8, ac=135, do_not_use_this_arg=@0x84fa348) at lyxfunc.C:1546 #15 0x81f3f74 in Toolbar::Pimpl::layoutSelected (this=0x84bf140) at Toolbar_pimpl.C:233 #16 0x81f3e50 in Toolbar::Pimpl::layoutSelectedCB (arg=0x84bf140) at Toolbar_pimpl.C:218 #17 0x8210220 in Combox::hide (this=0x84bf3b0, who=0) at combox.C:354 #18 0x82104a1 in Combox::combo_cb (ob=0x84bf910, data=2) at combox.C:415 #19 0x820f632 in C_Combox_combo_cb (ob=0x84bf910, data=2) at combox.C:57 #20 0x400378bf in fl_object_qread () #21 0x40045b8e in fl_check_forms () #22 0x819ffaa in GUIRunTime::runTime () at GUIRunTime.C:86 #23 0x80bdf85 in LyXGUI::runTime (this=0x8482048) at lyx_gui.C:315 #24 0x80be7fd in LyX::LyX (this=0xbffffb04, argc=0xbffffb50, argv=0xbffffb94) at ../src/lyx_main.C:177 #25 0x80e51e7 in main (argc=2, argv=0xbffffb94) at ../src/main.C:38 #26 0x401e5cb3 in __libc_start_main (main=0x80e5110 <main>, argc=2, argv=0xbffffb94, init=0x804ec28 <_init>, fini=0x82de3d4 <_fini>, rtld_fini=0x4000a350 <_dl_fini>, stack_end=0xbffffb8c) at ../sysdeps/generic/libc-start.c:78 -- Kayvan A. Sylvan | Proud husband of | Father to my kids: Sylvan Associates, Inc. | Laura Isabella Sylvan | Katherine Yelena (8/8/89) http://sylvan.com/~kayvan | "crown of her husband" | Robin Gregory (2/28/92)