Re: NEW: logic2cnf

2010-08-20 Thread Neal Hogan
On Fri, Aug 20, 2010 at 2:21 PM, Neal Hogan wrote: > On Wed, Aug 18, 2010 at 5:53 AM, Edd Barrett wrote: >> Hi, >> >> Attached is a tool I developed to help solve propositional logic for my >> research. It is based upon MiniSAT (hence jasper@ in CC).I don't know i

Re: NEW: logic2cnf

2010-08-20 Thread Neal Hogan
On Wed, Aug 18, 2010 at 5:53 AM, Edd Barrett wrote: > Hi, > > Attached is a tool I developed to help solve propositional logic for my > research. It is based upon MiniSAT (hence jasper@ in CC).I don't know if > we have any prop logic pros on list? I would appreciate feedback. > > Anyway here is th

devede/mplayer ogg-issue fixed

2010-08-19 Thread Neal Hogan
I just want to point out that the recent update to mplayer (mplayer-20100308p3) appears to have fixed the ogg-issue that was happening with devede. Thanks! montagueneal uname -a OpenBSD montague 4.8 GENERIC.MP#4 amd64 -Neal

Re: Packages directory unreachable

2009-11-16 Thread neal hogan
On Mon, Nov 16, 2009 at 01:26:33AM -0600, Wade Williams wrote: > http://www.openbsd.org/4.4_packages/ > > returns "directory not found". > Has it been found in the past? Try: http://openbsd.org/ftp.html

Re: firefox35

2009-09-27 Thread neal hogan
On Sun, Sep 27, 2009 at 05:54:00PM +0200, frantisek holop wrote: > hmm, on Sun, Sep 27, 2009 at 10:38:00AM -0500, neal hogan said that > > On Sun, Sep 27, 2009 at 05:01:21PM +0200, frantisek holop wrote: > > > hi there, > > > > > > th

Re: firefox35

2009-09-27 Thread neal hogan
On Sun, Sep 27, 2009 at 05:01:21PM +0200, frantisek holop wrote: > hi there, > > the install message for firefox35 says: > > --- firefox35-3.5.3 --- > Please see /usr/local/mozilla-firefox/README.OpenBSD for information > about running Firefox on OpenBSD. > > that should probably

Re: Different question about scrotwm -dialog box problem

2009-09-15 Thread neal hogan
On Tue, Sep 15, 2009 at 04:53:16PM -0500, Chris Bennett wrote: > > > Marco Peereboom wrote: > >You want to play with the regions and set them up to be the right size > >instead of auto-detecting them > > > >On Tue, Sep 15, 2009 at 12:42:49PM -0500, Chris Bennett wrote: > > > I couldn't get region

Re: Different question about scrotwm -dialog box problem

2009-09-15 Thread neal hogan
> Neal was right about virtual screen being too big (since I changed > one monitor's resolution smaller) > I changed it to 2624 x 1968. > No expert here, but I don't think that you want to add the heights. Neither screen is that tall. So I would suggest start with 2624x1200. Then set the smalle

Re: Different question about scrotwm -dialog box problem

2009-09-15 Thread neal hogan
wo monitors. xrandr "preferred" 1440x900 res for both, so I set the virtuall screen to 2880x900 and put one screen to the left (or was it right) of the other. Each monitor has it's own workstation and I can drag terms/dialogue boxes across from one screen to the other. > > On Tue

Re: Different question about scrotwm -dialog box problem

2009-09-15 Thread neal hogan
> > > > Is there an answer to this problem? > > Perhaps I'm missing something about your situation, but why not just > change the size of your virtual screen in xorg.conf? Note that xrandr will suggest different screen resolutions. The reason I bring it up is b/c I am wondering where you got yo

Re: Different question about scrotwm -dialog box problem

2009-09-15 Thread neal hogan
On Tue, Sep 15, 2009 at 12:42:49PM -0500, Chris Bennett wrote: > Ok, I was glad to see an update to scrotwm, hoping it would fix a > problem I have with dialog boxes. > > Didn't, and now I realize it couldn't! > Problem is on my end. > > I have two CRT monitors. One is excellent, the other is kin