
23 Oct
2007
23 Oct
'07
8:40 p.m.
Tue Oct 23 20:13:41 EDT 2007 gwern0@gmail.com * Run.hs, SshPrompt.hs, ShellPrompt.hs: mv runInXTerm back into Run.hs per suggestions Tue Oct 23 20:16:28 EDT 2007 gwern0@gmail.com * Run.hs: +my suggested runInTerm general function Tue Oct 23 20:18:56 EDT 2007 gwern0@gmail.com * Run.hs: specialize runInXTerm to use runInTerm per my mailing list suggestion Tue Oct 23 20:39:11 EDT 2007 gwern0@gmail.com * Run.hs: do my usual segregation into safe and unsafe runInTerms