(印刷用 PS 版は /home/hattori/visual-prog/latex2e/main.ps
です)
スクリプトの編集
- ユーザは直接パネルを書くことができない。しかし、デモンストレーションによってできたパネルを編集(e.g. cut, copy, paste,繰り返しや分岐の追加)することはできる。
- スクリプトの実行と編集は一体化している。分岐した後の操作をデモンストレーションしないまま実行してしまった場合、実行がそこへ来ると未定義であることが表示され、ユーザはそのままデモンストレーションをすることができる。