On 2004 October 04 Monday 12:15, Per Johansson wrote: > Is it possible to make definitions such as x=1 at the Hugs prompt? No. It's best to put such definitions in a file and then load the file into Hugs.