patch applied (hat): Lowlevel getResult() routine should check for a SAT after a TNm,
10 Oct
2006
10 Oct
'06
4:44 p.m.
Mon Mar 4 08:56:47 PST 2002 malcolm * Lowlevel getResult() routine should check for a SAT after a TNm, not only after a TAp. This fixes hat-explore so that = always shows a result. M ./src/hattools/utils.c +25
7039
Age (days ago)
7039
Last active (days ago)
0 comments
1 participants
participants (1)
-
Malcolm Wallace