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

SCM Repository

[smlnj] Annotation of /sml/trunk/src/eXene/demos/README
ViewVC logotype

Annotation of /sml/trunk/src/eXene/demos/README

Parent Directory Parent Directory | Revision Log Revision Log

Revision 2 - (view) (download)

1 : monnier 2 This directory contains some demonstration eXene applications
2 :     The applications in this directory are more substantial
3 :     than those in the examples directory. In fact, they are,
4 :     in some sense, real applications.
5 :    
6 :     Currently, the only demo is Tim Griffin and Rod Moten's
7 :     tactic-based proof tree editor.
8 :    

ViewVC Help
Powered by ViewVC 1.0.0