patch applied (hat): Extended hat-source. Now shows equation and allows navigating through EDT with cursor keys.
10 Oct
2006
10 Oct
'06
11: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
6850
Age (days ago)
6850
Last active (days ago)
0 comments
1 participants
participants (1)
-
Malcolm Wallace