Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] View of /sml/trunk/src/eXene/demos/tactic-tree/examples/derivative/interactive.sml
ViewVC logotype

View of /sml/trunk/src/eXene/demos/tactic-tree/examples/derivative/interactive.sml

Parent Directory Parent Directory | Revision Log Revision Log


Revision 651 - (download) (annotate)
Thu Jun 1 18:34:03 2000 UTC (19 years, 3 months ago) by monnier
File size: 321 byte(s)
bring revisions from the vendor branch to the trunk
open DerivativeTactics;
structure Interactive = InteractiveTT(structure TTS  = Derivative_TTree_Support);
fun create(t,d,l) = Interactive.create(ExpressionParseString.read_expression t, d,l) ;	
val extract = Interactive.extract_event; 
val view = Interactive.view;
val tactic_ref = Derivative_TTree_Support.tactic_ref;	


root@smlnj-gforge.cs.uchicago.edu
ViewVC Help
Powered by ViewVC 1.0.0