blob: 61e25ba3026b067e4c99d63aa4c77ea00223ebde (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
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
|
