Comments on: Command Line Switches http://www.tlaplus.net/posts/2009/08/command-line-switches/ The TLA+ and PlusCal Resource Sun, 21 Aug 2011 00:17:59 +0000 hourly 1 http://wordpress.org/?v=3.2.1 By: Leslie Lamport http://www.tlaplus.net/posts/2009/08/command-line-switches/comment-page-1/#comment-6922 Leslie Lamport Tue, 28 Jun 2011 11:06:08 +0000 http://www.tlaplus.net/?p=116#comment-6922 <p>I revised this tutorial page to reflect the changes made in Version 1.5 of the PlusCal translator.  I hope this answer's Tim Mc's question about the -writeAST option.</p> I revised this tutorial page to reflect the changes made in Version 1.5 of the PlusCal translator.  I hope this answer’s Tim Mc’s question about the -writeAST option.

]]> By: Jeannie http://www.tlaplus.net/posts/2009/08/command-line-switches/comment-page-1/#comment-3931 Jeannie Sun, 03 Apr 2011 22:00:32 +0000 http://www.tlaplus.net/?p=116#comment-3931 Thanks for the tutorial. There is another summary that might be helpful for your readers in a downloadable pdf <a href="http://research.microsoft.com/en-us/um/people/lamport/tla/summary.pdf">http://research.microsoft.com/en-us/um/people/lamport/tla/summary.pdf</a> Thanks for the tutorial.

There is another summary that might be helpful for your readers in a downloadable pdf
http://research.microsoft.com/en-us/um/people/lamport/tla/summary.pdf

]]> By: paul http://www.tlaplus.net/posts/2009/08/command-line-switches/comment-page-1/#comment-3923 paul Sun, 03 Apr 2011 17:11:31 +0000 http://www.tlaplus.net/?p=116#comment-3923 Thank you for the tutorial, exactly what i was looking for . Thank you for the tutorial, exactly what i was looking for .

]]> By: Tim Mc http://www.tlaplus.net/posts/2009/08/command-line-switches/comment-page-1/#comment-3882 Tim Mc Fri, 01 Apr 2011 22:17:34 +0000 http://www.tlaplus.net/?p=116#comment-3882 I have had issues with the -writeAST execution for some reason it fails to write any suggestions Thanks Tim I have had issues with the -writeAST execution for some reason it fails to write any suggestions
Thanks
Tim

]]> By: Bobby Tan http://www.tlaplus.net/posts/2009/08/command-line-switches/comment-page-1/#comment-3848 Bobby Tan Thu, 31 Mar 2011 01:04:03 +0000 http://www.tlaplus.net/?p=116#comment-3848 Linked over here from the Research section over on the Microsoft site (http://research.microsoft.com/en-us/um/people/lamport/tla/tla.html). Great tutorial, very handy. Goes hand in hand with the cheat sheet from the MS site. Thanks! Linked over here from the Research section over on the Microsoft site (http://research.microsoft.com/en-us/um/people/lamport/tla/tla.html).

Great tutorial, very handy. Goes hand in hand with the cheat sheet from the MS site. Thanks!

]]>