id,summary,reporter,owner,description,type,status,priority,milestone,component,version,resolution,keywords,cc,port 2439,NEW: ledit-1.11,reilles@…,pguyot,"Ledit is a line editor to be used with interactive commands. The command ledit allows to edit lines one by one when running an interactive command. When typing a line, some keys with control or meta are interpreted: it is possible to insert characters in the middle of the line, go to the beginning or the end of the line, get a previous line, search for a line with a pattern, etc. It is particularly useful when using the ocaml interpreter, or the python one.",defect,closed,Normal,,ports,1.0,fixed,,pguyot,