Patch title: Release 93 bulk changes
Abstract:
File: /appli/interpreter.page
Key:
    Removed line
    Added line
   
module "/pliant/language/compiler.pli"
module "/pliant/language/stream.pli"
module "/pliant/language/context.pli"
module "/pliant/admin/file.pli"
module "/pliant/language/ui/console.pli"


var Str prog := options option "prog" Str
var Int level := options option "level" Int
if level=undefined
  level := 1
module "/pliant/language/compiler.pli"
module "/pliant/language/stream.pli"
module "/pliant/language/context.pli"
module "/pliant/admin/file.pli"
module "/pliant/language/ui/console.pli"


var Str prog := options option "prog" Str
var Int level := options option "level" Int
if level=undefined
  level := 1
var Str mode := options option "mode" Str
var Str mode := options option "mode" Str "admin"