2003-10-28 10:01:44 +01:00
|
|
|
%%GNOME:%%bin/grascal
|
2001-04-09 18:58:35 +02:00
|
|
|
bin/rascal
|
2002-12-03 08:15:21 +01:00
|
|
|
etc/rascal.rc
|
2003-10-28 10:01:44 +01:00
|
|
|
%%PORTDOCS%%%%DOCSDIR%%/rascal.pdf
|
|
|
|
|
%%PORTDOCS%%%%DOCSDIR%%/rascal.ps
|
|
|
|
|
%%PORTDOCS%%%%DOCSDIR%%/CHANGES
|
|
|
|
|
%%PORTDOCS%%%%DOCSDIR%%/TEST
|
|
|
|
|
%%PORTDOCS%%%%DOCSDIR%%/TOOLBOXTEST
|
|
|
|
|
%%PORTDOCS%%%%DOCSDIR%%/html/img1.gif
|
|
|
|
|
%%PORTDOCS%%%%DOCSDIR%%/html/img2.gif
|
|
|
|
|
%%PORTDOCS%%%%DOCSDIR%%/html/img3.gif
|
|
|
|
|
%%PORTDOCS%%%%DOCSDIR%%/html/img4.gif
|
|
|
|
|
%%PORTDOCS%%%%DOCSDIR%%/html/img5.gif
|
|
|
|
|
%%PORTDOCS%%%%DOCSDIR%%/html/img6.gif
|
|
|
|
|
%%PORTDOCS%%%%DOCSDIR%%/html/img7.gif
|
|
|
|
|
%%PORTDOCS%%%%DOCSDIR%%/html/index.html
|
|
|
|
|
%%PORTDOCS%%%%DOCSDIR%%/html/rascal.css
|
|
|
|
|
%%PORTDOCS%%%%DOCSDIR%%/html/rascal.html
|
|
|
|
|
%%PORTDOCS%%@dirrm %%DOCSDIR%%/html
|
|
|
|
|
%%PORTDOCS%%@dirrm %%DOCSDIR%%
|
