http://www.tlaplus.net/ 2012-01-20T20:26:41+00:00 daily 1.0 http://www.tlaplus.net/tools/tla-toolbox/ 2012-01-20T20:23:49+00:00 weekly 0.6 http://www.tlaplus.net/posts/2009/08/command-line-switches/ 2011-06-28T11:03:51+00:00 monthly 0.4 http://www.tlaplus.net/tools/tla-tools/ 2011-06-28T10:04:37+00:00 weekly 0.6 http://www.tlaplus.net/posts/2011/04/toolbox-version-1-3-1-released/ 2011-04-05T22:00:45+00:00 monthly 0.2 http://www.tlaplus.net/posts/2011/04/tla-toolbox-1-2-1-released/ 2011-04-03T20:58:14+00:00 monthly 0.2 http://www.tlaplus.net/tools/bugs/ 2011-04-03T20:03:02+00:00 weekly 0.6 http://www.tlaplus.net/tools/ 2010-10-05T13:41:12+00:00 weekly 0.6 http://www.tlaplus.net/posts/2010/02/tla-toolbox-released/ 2010-08-16T20:35:06+00:00 monthly 0.2 http://www.tlaplus.net/community/teaching/ 2010-04-11T20:01:07+00:00 weekly 0.6 http://www.tlaplus.net/documentation/books/ 2010-03-15T19:51:58+00:00 weekly 0.6 http://www.tlaplus.net/community/discussions/ 2010-02-17T00:17:41+00:00 weekly 0.6 http://www.tlaplus.net/posts/2009/08/coming-soon-tla-toolbox/ 2010-02-10T10:04:57+00:00 monthly 0.2 http://www.tlaplus.net/community/ 2010-02-08T15:35:30+00:00 weekly 0.6 http://www.tlaplus.net/documentation/publications/ 2010-02-08T15:25:36+00:00 weekly 0.6 http://www.tlaplus.net/documentation/tutorials/ 2010-02-08T15:22:33+00:00 weekly 0.6 http://www.tlaplus.net/learning/examples/ 2010-02-08T15:20:51+00:00 weekly 0.6 http://www.tlaplus.net/documentation/ 2010-02-08T15:05:42+00:00 weekly 0.6 http://www.tlaplus.net/learning/pluscal-algorithm-language/ 2010-02-08T14:26:58+00:00 weekly 0.6 http://www.tlaplus.net/learning/ 2010-02-08T14:18:29+00:00 weekly 0.6 http://www.tlaplus.net/learning/tla-specification-language/ 2010-02-08T14:14:10+00:00 weekly 0.6 http://www.tlaplus.net/posts/2009/08/how-to-install-tla-tools/ 2010-02-08T07:51:00+00:00 monthly 0.2 http://www.tlaplus.net/community/people/ 2010-02-07T20:10:29+00:00 weekly 0.6 http://www.tlaplus.net/community/projects/ 2010-02-07T18:59:13+00:00 weekly 0.6 http://www.tlaplus.net/posts/2009/08/tools-and-methods-for-formal-specs-and-for-proofs/ 2010-02-07T12:32:18+00:00 monthly 0.2 http://www.tlaplus.net/posts/2009/12/web-site-structure/ 2009-12-15T16:04:29+00:00 monthly 0.2 http://www.tlaplus.net/sitemap/ 2009-08-04T04:18:19+00:00 weekly 0.6 http://www.tlaplus.net/posts/2009/07/welcome/ 2009-07-30T06:45:40+00:00 monthly 0.2