An Introduction of OpenXM by screen shots

• Using Risa/Asir with OpenXM from TeXmacs

$OpenXM: OpenXM/doc/OpenXM-web/Screenshot/index-shot.html,v 1.1 2005/06/17 02:46:34 takayama Exp $