Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 1998-02-05 07:50:08 -0800 (Thu, 05 Feb 1998)
Revision: 2078
Log message:

      This is a simple term display in an applet.
      

Changes	Path
Added	metaprl/editor/java/BoundTerm.java
Properties	metaprl/editor/java/BoundTerm.java
Added	metaprl/editor/java/Closure.java
Properties	metaprl/editor/java/Closure.java
Added	metaprl/editor/java/DebugFlags.java
Properties	metaprl/editor/java/DebugFlags.java
Added	metaprl/editor/java/DisplayDynamic.java
Properties	metaprl/editor/java/DisplayDynamic.java
Added	metaprl/editor/java/DisplayEngine.java
Properties	metaprl/editor/java/DisplayEngine.java
Added	metaprl/editor/java/DisplayTerm.java
Properties	metaprl/editor/java/DisplayTerm.java
Added	metaprl/editor/java/Eval.java
Properties	metaprl/editor/java/Eval.java
Added	metaprl/editor/java/EvalError.java
Properties	metaprl/editor/java/EvalError.java
Added	metaprl/editor/java/FontBase.java
Properties	metaprl/editor/java/FontBase.java
Added	metaprl/editor/java/FreeVar.java
Properties	metaprl/editor/java/FreeVar.java
Added	metaprl/editor/java/IntStack.java
Properties	metaprl/editor/java/IntStack.java
Added	metaprl/editor/java/LevelExp.java
Properties	metaprl/editor/java/LevelExp.java
Added	metaprl/editor/java/LevelVar.java
Properties	metaprl/editor/java/LevelVar.java
Added	metaprl/editor/java/Lexer.java
Properties	metaprl/editor/java/Lexer.java
Added	metaprl/editor/java/LispExpression.java
Properties	metaprl/editor/java/LispExpression.java
Added	metaprl/editor/java/LispParser.java
Properties	metaprl/editor/java/LispParser.java
Added	metaprl/editor/java/LispSExpression.java
Properties	metaprl/editor/java/LispSExpression.java
Added	metaprl/editor/java/LispSoApply.java
Properties	metaprl/editor/java/LispSoApply.java
Added	metaprl/editor/java/LispVar.java
Properties	metaprl/editor/java/LispVar.java
Added	metaprl/editor/java/Makefile
Properties	metaprl/editor/java/Makefile
Added	metaprl/editor/java/MatchError.java
Properties	metaprl/editor/java/MatchError.java
Added	metaprl/editor/java/Matching.java
Properties	metaprl/editor/java/Matching.java
Added	metaprl/editor/java/NetscapeApplet.java
Properties	metaprl/editor/java/NetscapeApplet.java
Binary	metaprl/editor/java/Nuprl.dsp
Properties	metaprl/editor/java/Nuprl.dsp
Binary	metaprl/editor/java/Nuprl.dsw
Properties	metaprl/editor/java/Nuprl.dsw
Binary	metaprl/editor/java/NuprlTerm.dsp
Properties	metaprl/editor/java/NuprlTerm.dsp
Added	metaprl/editor/java/NuprlTerm.java
Properties	metaprl/editor/java/NuprlTerm.java
Added	metaprl/editor/java/Operator.java
Properties	metaprl/editor/java/Operator.java
Added	metaprl/editor/java/Opname.java
Properties	metaprl/editor/java/Opname.java
Added	metaprl/editor/java/Param.java
Properties	metaprl/editor/java/Param.java
Added	metaprl/editor/java/ParamLevelExp.java
Properties	metaprl/editor/java/ParamLevelExp.java
Added	metaprl/editor/java/ParamMDiff.java
Properties	metaprl/editor/java/ParamMDiff.java
Added	metaprl/editor/java/ParamMEqual.java
Properties	metaprl/editor/java/ParamMEqual.java
Added	metaprl/editor/java/ParamMLessThan.java
Properties	metaprl/editor/java/ParamMLessThan.java
Added	metaprl/editor/java/ParamMLevel.java
Properties	metaprl/editor/java/ParamMLevel.java
Added	metaprl/editor/java/ParamMNotEqual.java
Properties	metaprl/editor/java/ParamMNotEqual.java
Added	metaprl/editor/java/ParamMNumber.java
Properties	metaprl/editor/java/ParamMNumber.java
Added	metaprl/editor/java/ParamMPair.java
Properties	metaprl/editor/java/ParamMPair.java
Added	metaprl/editor/java/ParamMProduct.java
Properties	metaprl/editor/java/ParamMProduct.java
Added	metaprl/editor/java/ParamMQuotient.java
Properties	metaprl/editor/java/ParamMQuotient.java
Added	metaprl/editor/java/ParamMRem.java
Properties	metaprl/editor/java/ParamMRem.java
Added	metaprl/editor/java/ParamMString.java
Properties	metaprl/editor/java/ParamMString.java
Added	metaprl/editor/java/ParamMSum.java
Properties	metaprl/editor/java/ParamMSum.java
Added	metaprl/editor/java/ParamMToken.java
Properties	metaprl/editor/java/ParamMToken.java
Added	metaprl/editor/java/ParamMVar.java
Properties	metaprl/editor/java/ParamMVar.java
Added	metaprl/editor/java/ParamMatchError.java
Properties	metaprl/editor/java/ParamMatchError.java
Added	metaprl/editor/java/ParamMeta.java
Properties	metaprl/editor/java/ParamMeta.java
Added	metaprl/editor/java/ParamNumber.java
Properties	metaprl/editor/java/ParamNumber.java
Added	metaprl/editor/java/ParamString.java
Properties	metaprl/editor/java/ParamString.java
Added	metaprl/editor/java/ParamToken.java
Properties	metaprl/editor/java/ParamToken.java
Added	metaprl/editor/java/ParamVar.java
Properties	metaprl/editor/java/ParamVar.java
Added	metaprl/editor/java/QuickSort.java
Properties	metaprl/editor/java/QuickSort.java
Added	metaprl/editor/java/Rewrite.java
Properties	metaprl/editor/java/Rewrite.java
Added	metaprl/editor/java/Sort.java
Properties	metaprl/editor/java/Sort.java
Added	metaprl/editor/java/Subst.java
Properties	metaprl/editor/java/Subst.java
Added	metaprl/editor/java/SubstParam.java
Properties	metaprl/editor/java/SubstParam.java
Added	metaprl/editor/java/SubstSimul.java
Properties	metaprl/editor/java/SubstSimul.java
Added	metaprl/editor/java/SubstSingle.java
Properties	metaprl/editor/java/SubstSingle.java
Added	metaprl/editor/java/Term.java
Properties	metaprl/editor/java/Term.java
Added	metaprl/editor/java/TermBreak.java
Properties	metaprl/editor/java/TermBreak.java
Added	metaprl/editor/java/TermDisplay.java
Properties	metaprl/editor/java/TermDisplay.java
Added	metaprl/editor/java/TermFont.java
Properties	metaprl/editor/java/TermFont.java
Added	metaprl/editor/java/TermLexer.java
Properties	metaprl/editor/java/TermLexer.java
Added	metaprl/editor/java/TermNuprl.java
Properties	metaprl/editor/java/TermNuprl.java
Added	metaprl/editor/java/TermParser.java
Properties	metaprl/editor/java/TermParser.java
Added	metaprl/editor/java/TermPop.java
Properties	metaprl/editor/java/TermPop.java
Added	metaprl/editor/java/TermPush.java
Properties	metaprl/editor/java/TermPush.java
Added	metaprl/editor/java/TermSoApply.java
Properties	metaprl/editor/java/TermSoApply.java
Added	metaprl/editor/java/TermSoVar.java
Properties	metaprl/editor/java/TermSoVar.java
Added	metaprl/editor/java/TermString.java
Properties	metaprl/editor/java/TermString.java
Added	metaprl/editor/java/TermVar.java
Properties	metaprl/editor/java/TermVar.java
Added	metaprl/editor/java/TermView.java
Properties	metaprl/editor/java/TermView.java
Added	metaprl/editor/java/TermZone.java
Properties	metaprl/editor/java/TermZone.java
Added	metaprl/editor/java/TextBuffer.java
Properties	metaprl/editor/java/TextBuffer.java
Added	metaprl/editor/java/TextViewBuffer.java
Properties	metaprl/editor/java/TextViewBuffer.java
Added	metaprl/editor/java/Token.java
Properties	metaprl/editor/java/Token.java
Added	metaprl/editor/java/editor/BlockingQueue.java
Properties	metaprl/editor/java/editor/BlockingQueue.java
Added	metaprl/editor/java/editor/Context.java
Properties	metaprl/editor/java/editor/Context.java
Added	metaprl/editor/java/editor/Debug.java
Properties	metaprl/editor/java/editor/Debug.java
Added	metaprl/editor/java/editor/Editor.java
Properties	metaprl/editor/java/editor/Editor.java
Added	metaprl/editor/java/editor/Filename.java
Properties	metaprl/editor/java/editor/Filename.java
Added	metaprl/editor/java/editor/GrayButton.java
Properties	metaprl/editor/java/editor/GrayButton.java
Added	metaprl/editor/java/editor/HTMLTerm.java
Properties	metaprl/editor/java/editor/HTMLTerm.java
Added	metaprl/editor/java/editor/Icon.java
Properties	metaprl/editor/java/editor/Icon.java
Added	metaprl/editor/java/editor/IconWindow.java
Properties	metaprl/editor/java/editor/IconWindow.java
Added	metaprl/editor/java/editor/ImageLabel.java
Properties	metaprl/editor/java/editor/ImageLabel.java
Added	metaprl/editor/java/editor/MarshalInfo.java
Properties	metaprl/editor/java/editor/MarshalInfo.java
Added	metaprl/editor/java/editor/Marshalable.java
Properties	metaprl/editor/java/editor/Marshalable.java
Added	metaprl/editor/java/editor/ModeLine.java
Properties	metaprl/editor/java/editor/ModeLine.java
Added	metaprl/editor/java/editor/Navigate.java
Properties	metaprl/editor/java/editor/Navigate.java
Added	metaprl/editor/java/editor/Nuprl.java
Properties	metaprl/editor/java/editor/Nuprl.java
Added	metaprl/editor/java/editor/Pathname.java
Properties	metaprl/editor/java/editor/Pathname.java
Added	metaprl/editor/java/editor/Queue.java
Properties	metaprl/editor/java/editor/Queue.java
Added	metaprl/editor/java/editor/QuickSort.java
Properties	metaprl/editor/java/editor/QuickSort.java
Added	metaprl/editor/java/editor/Rename.java
Properties	metaprl/editor/java/editor/Rename.java
Added	metaprl/editor/java/editor/Semaphore.java
Properties	metaprl/editor/java/editor/Semaphore.java
Added	metaprl/editor/java/editor/Status.java
Properties	metaprl/editor/java/editor/Status.java
Added	metaprl/editor/java/editor/StringTokenizer.java
Properties	metaprl/editor/java/editor/StringTokenizer.java
Added	metaprl/editor/java/editor/TtyArea.java
Properties	metaprl/editor/java/editor/TtyArea.java
Added	metaprl/editor/java/editor/WinAlert.java
Properties	metaprl/editor/java/editor/WinAlert.java
Binary	metaprl/editor/java/images/back.gif
Properties	metaprl/editor/java/images/back.gif
Binary	metaprl/editor/java/images/back_gray.gif
Properties	metaprl/editor/java/images/back_gray.gif
Binary	metaprl/editor/java/images/back_press.gif
Properties	metaprl/editor/java/images/back_press.gif
Binary	metaprl/editor/java/images/background.gif
Properties	metaprl/editor/java/images/background.gif
Binary	metaprl/editor/java/images/background41.gif
Properties	metaprl/editor/java/images/background41.gif
Binary	metaprl/editor/java/images/background_dark.gif
Properties	metaprl/editor/java/images/background_dark.gif
Binary	metaprl/editor/java/images/forward.gif
Properties	metaprl/editor/java/images/forward.gif
Binary	metaprl/editor/java/images/forward_gray.gif
Properties	metaprl/editor/java/images/forward_gray.gif
Binary	metaprl/editor/java/images/forward_press.gif
Properties	metaprl/editor/java/images/forward_press.gif
Binary	metaprl/editor/java/images/home.gif
Properties	metaprl/editor/java/images/home.gif
Binary	metaprl/editor/java/images/home_gray.gif
Properties	metaprl/editor/java/images/home_gray.gif
Binary	metaprl/editor/java/images/home_press.gif
Properties	metaprl/editor/java/images/home_press.gif
Binary	metaprl/editor/java/images/info.gif
Properties	metaprl/editor/java/images/info.gif
Binary	metaprl/editor/java/images/key.gif
Properties	metaprl/editor/java/images/key.gif
Binary	metaprl/editor/java/images/mkdir.gif
Properties	metaprl/editor/java/images/mkdir.gif
Binary	metaprl/editor/java/images/mkdir_gray.gif
Properties	metaprl/editor/java/images/mkdir_gray.gif
Binary	metaprl/editor/java/images/mkdir_press.gif
Properties	metaprl/editor/java/images/mkdir_press.gif
Binary	metaprl/editor/java/images/turn_close.gif
Properties	metaprl/editor/java/images/turn_close.gif
Binary	metaprl/editor/java/images/turn_open.gif
Properties	metaprl/editor/java/images/turn_open.gif
Binary	metaprl/editor/java/images/up.gif
Properties	metaprl/editor/java/images/up.gif
Binary	metaprl/editor/java/images/up_gray.gif
Properties	metaprl/editor/java/images/up_gray.gif
Binary	metaprl/editor/java/images/up_press.gif
Properties	metaprl/editor/java/images/up_press.gif
Added	metaprl/editor/java/test.html
Properties	metaprl/editor/java/test.html
+0 -330	metaprl/filter/filter_hash.ml