patch applied (hat): Extended hat-source. Now shows equation and allows navigating through EDT with cursor keys.
10 Oct
2006
10 Oct
'06
7:28 a.m.
Sun Aug 29 07:41:22 PDT 2004 olaf * Extended hat-source. Now shows equation and allows navigating through EDT with cursor keys. Does not find children of trusted reductions. M ./src/hattools/HatExplore.hs -45 +259
6801
Age (days ago)
6801
Last active (days ago)
0 comments
1 participants
participants (1)
-
Malcolm Wallace