patch applied (hat): Added interface to hat-trail. Now, hat-trail and hat-detect maybe
10 Oct
2006
10 Oct
'06
7:06 p.m.
Wed Jul 18 07:52:50 PDT 2001 thorsten * Added interface to hat-trail. Now, hat-trail and hat-detect maybe started on any observed equation/redex. M ./src/hattools/HatObserve.hs -12 +38 M ./src/hattools/Hatobserve.hs -12 +38
7227
Age (days ago)
7227
Last active (days ago)
0 comments
1 participants
participants (1)
-
Malcolm Wallace