Annotation of /sml/trunk/src/eXene/demos/tactic-tree/README

Parent Directory | Revision Log

---

Revision 2 - (view) (download)

1 :	monnier	2
2 :			Tactic Trees in eXene - Version 1
3 :
4 :			December, 1992
5 :
6 :			----------------------------------
7 :
8 :			This directory contains three subdirectories:
9 :
10 :			doc : documentation
11 :
12 :			src : SML code for tactic trees in eXene
13 :
14 :			examples : several examples of using the tactic trees package

---

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