Abdulaziz Ghuloum e4e9418dae * Updated documentation regarding "*interactive*" command-line.

2007-11-03 20:40:02 -04:00

..

ikarus-users-guide.bib

* updated manual before initial release.

2007-10-31 04:32:34 -04:00

ikarus-users-guide.pdf

* Fixed a few typos in docs.

2007-10-31 04:43:22 -04:00

ikarus-users-guide.tex

* Updated documentation regarding "*interactive*" command-line.

2007-11-03 20:40:02 -04:00

Makefile.am

* Added the user guide to the repository.

2007-10-20 21:06:40 -04:00