Abdulaziz Ghuloum 53c5bb984c * updated manual before initial release.		2007-10-31 04:32:34 -04:00
..
Makefile.am	* Added the user guide to the repository.	2007-10-20 21:06:40 -04:00
ikarus-users-guide.bib	* updated manual before initial release.	2007-10-31 04:32:34 -04:00
ikarus-users-guide.tex	* updated manual before initial release.	2007-10-31 04:32:34 -04:00