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 /eXene/releases/release-110.82/demos/README
ViewVC logotype

View of /eXene/releases/release-110.82/demos/README

Parent Directory Parent Directory | Revision Log Revision Log

Revision 4480 - (download) (annotate)
Sat Oct 14 17:28:43 2017 UTC (21 months ago) by jhr
File size: 300 byte(s)
Release 110.82
This directory contains some demonstration eXene applications
The applications in this directory are more substantial
than those in the examples directory.  In fact, they are,
in some sense, real applications.

Currently, the only demo is Tim Griffin and Rod Moten's
tactic-based proof tree editor.

ViewVC Help
Powered by ViewVC 1.0.0