diff options
| author | Patrick Simianer <p@simianer.de> | 2010-05-18 08:52:24 +0200 |
|---|---|---|
| committer | Patrick Simianer <p@simianer.de> | 2010-05-18 08:52:24 +0200 |
| commit | b90042ebc1f37fa5f911df54ce0d3827da074892 (patch) | |
| tree | 271ffd81ccf00888380b8b578d9bf238d8e4387b /regexvis.html | |
| parent | ec3f1801c258dbba07dfccbd9864f9b2de0bfae6 (diff) | |
major
Diffstat (limited to 'regexvis.html')
| -rw-r--r-- | regexvis.html | 24 |
1 files changed, 14 insertions, 10 deletions
diff --git a/regexvis.html b/regexvis.html index 40be644..e431fe1 100644 --- a/regexvis.html +++ b/regexvis.html @@ -10,20 +10,24 @@ <link rel='stylesheet' type='text/css' href='stylesheets/RegexVis.css' /> - <script type='text/javascript' src='javascripts/globals.js'></script> - <script type='text/javascript' src='javascripts/Queue.js'></script> - <script type='text/javascript' src='javascripts/State.js'></script> - <script type='text/javascript' src='javascripts/Nfa.js'></script> - <script type='text/javascript' src='javascripts/RegexParser.js'></script> - <script type='text/javascript' src='javascripts/NfaSimulator.js'></script> - - <script type='text/javascript' src='javascripts/run.js'></script> + <script type='text/javascript' src='javascripts/main.js'></script> + <script type='text/javascript' src='javascripts/NfaState.js'></script> + <script type='text/javascript' src='javascripts/Nfa.js'></script> + <script type='text/javascript' src='javascripts/RegexParser.js'></script> + <script type='text/javascript' src='javascripts/Stack.js'></script> + <script type='text/javascript' src='javascripts/NfaSimulator.js'></script> + <script type='text/javascript' src='javascripts/Nfa2Dfa.js'></script> + <script type='text/javascript' src='javascripts/lib/raphael.js'></script> + <script type='text/javascript' src='javascripts/lib/graffle.js'></script> + <!--<script type='text/javascript' src='javascripts/Dfa2Graph.js'></script>--> </head> <body> - + <script type="text/javascript"> + main(); + </script> + <div id="holder"></div> </body> </html> - |