Package: proofgeneral
Version: 3.7-4
On startup, proofgeneral displays a splash screen and goes into a busy
wait loop that causes Emacs to use 100% CPU, Xorg to use about 50%, and
parts of the Emacs window to flash very quickly. This persists for 10
seconds or until the splash screen is dismi
Package: ncurses-bin
Version: 5.7+20090803-2
Severity: minor
The tput(1) manpage has a couple of references to �...@tput@”:
bold=‘tput smso‘ offbold=...@tput@ rmso‘
Set the shell variables bold, to begin stand-out mode sequence,
and offbold, to end standout mode
2 matches
Mail list logo
