alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

* wrap/python/cgi/ltl2tgba.in: Typos.

Browse source
This commit is contained in:
Alexandre Duret-Lutz 2004-05-25 08:56:16 +00:00
parent 1245d19d23
commit 2b1efe172c
2 changed files with 9 additions and 5 deletions
Download patch file Download diff file Expand all files Collapse all files

4
ChangeLog
View file

@ -1,3 +1,7 @@
2004-05-25 Alexandre Duret-Lutz <adl@src.lip6.fr>
* wrap/python/cgi/ltl2tgba.in: Typos.
2004-05-24 Alexandre Duret-Lutz <adl@src.lip6.fr> 2004-05-24 Alexandre Duret-Lutz <adl@src.lip6.fr>
* src/sanity/style.test: Catch `;'-not-followed-by-space. * src/sanity/style.test: Catch `;'-not-followed-by-space.

10
wrap/python/cgi/ltl2tgba.in
View file

@ -170,7 +170,7 @@ def render_automaton(basename, automata, dont_run_dot):
if dont_run_dot: if dont_run_dot:
print ('<p>' + dont_run_dot + ''' to be rendered on-line. However print ('<p>' + dont_run_dot + ''' to be rendered on-line. However
you may download the <a href="''' + cgi.escape(basename) you may download the <a href="''' + cgi.escape(basename)
+ '.txt">source in dot format</a> en render it yourself.') + '.txt">source in dot format</a> and render it yourself.')
else: else:
render_dot(basename) render_dot(basename)
@ -205,7 +205,7 @@ options_common = [
] ]
options_debug = [ options_debug = [
('show_parse', 'show traces during parsing', 0), ('show_parse', 'show traces during parsing', 0),
('show_dictionnay', 'print BDD dictionary', 0), ('show_dictionnary', 'print BDD dictionary', 0),
] ]
options_trans_fm = [ options_trans_fm = [
('opt_exprop', 'optimize determinism', 1), ('opt_exprop', 'optimize determinism', 1),
@ -243,9 +243,9 @@ propositions, and parentheses for grouping.<BR>Identifiers cannot
start with the letter of a prefix operator (<code>F</code>, start with the letter of a prefix operator (<code>F</code>,
<code>G</code>, or <code>X</code>): for instance <code>GFa</code> <code>G</code>, or <code>X</code>): for instance <code>GFa</code>
means <code>G(F(a))</code>. Use <code>"GFa"</code> if you really want means <code>G(F(a))</code>. Use <code>"GFa"</code> if you really want
to refer to <code>GFa</code> as a proposition.<br>Conversly, infix to refer to <code>GFa</code> as a proposition.<br>Conversely, infix
letter operators are not assumed to be operators if they are part of letter operators are not assumed to be operators if they are part of
an indentifier: <code>aUb</code> is an atomic proposition, unlike an identifier: <code>aUb</code> is an atomic proposition, unlike
<code>a&nbsp;U&nbsp;b</code> and <code>(a)U(b)</code></p> <code>a&nbsp;U&nbsp;b</code> and <code>(a)U(b)</code></p>
<table border="1"><tr><td> <table border="1"><tr><td>
@ -452,7 +452,7 @@ if show_never_claim:
print '</PRE>' print '</PRE>'
sys.stdout.flush() sys.stdout.flush()
if show_dictionnay: if show_dictionnary:
print '<H3>BDD dictionary</H3>' print '<H3>BDD dictionary</H3>'
print '<pre>' print '<pre>'
sys.stdout.flush() sys.stdout.flush()