pic.rst
author Oleksandr Gavenko <gavenkoa@gmail.com>
Fri, 14 Oct 2011 00:52:40 +0300
changeset 1035 2e8f84478a07
parent 532 4e0c8762aba7
permissions -rw-r--r--
Isabelle.

-*- mode: outline -*-

* Simulator.

** simulpic.

  $ sudo apt-get install simulpic