bin/smv share/smv/smv-mode.el %%PORTDOCS%%%%DOCSDIR%%/NEW %%PORTDOCS%%%%DOCSDIR%%/README %%PORTDOCS%%%%DOCSDIR%%/smvmanual.ps %%PORTDOCS%%%%EXAMPLESDIR%%/counter.smv %%PORTDOCS%%%%EXAMPLESDIR%%/dme1.smv %%PORTDOCS%%%%EXAMPLESDIR%%/dme2.smv %%PORTDOCS%%%%EXAMPLESDIR%%/featuring.smv %%PORTDOCS%%%%EXAMPLESDIR%%/gigamax.smv %%PORTDOCS%%%%EXAMPLESDIR%%/mutex.smv %%PORTDOCS%%%%EXAMPLESDIR%%/mutex1.smv %%PORTDOCS%%%%EXAMPLESDIR%%/periodic.smv %%PORTDOCS%%%%EXAMPLESDIR%%/ring.smv %%PORTDOCS%%%%EXAMPLESDIR%%/semaphore.smv %%PORTDOCS%%%%EXAMPLESDIR%%/short.smv %%PORTDOCS%%%%EXAMPLESDIR%%/syncarb5.smv %%PORTDOCS%%@dirrm %%DOCSDIR%% %%PORTDOCS%%@dirrm %%EXAMPLESDIR%% @dirrm share/smv