patch applied (hat): Lowlevel getResult() routine should check for a SAT after a TNm,
10 Oct
2006
10 Oct
'06
11:14 a.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
7269
Age (days ago)
7269
Last active (days ago)
0 comments
1 participants
participants (1)
-
Malcolm Wallace