User contributions

From MCRL2

(Latest | Earliest) View (newer 50) (older 50) (20 | 50 | 100 | 250 | 500)

• 18:38, 20 November 2010 (hist) (diff) m CMake build instructions‎ (→Installing Boost for Linux: added serialization to list of boost packages)
• 10:21, 16 September 2009 (hist) (diff) Showcases‎ (ordered list of cases alphabetically)
• 10:19, 16 September 2009 (hist) (diff) m Atacama Large Millimeter Array‎ (→Models: remark JF)
• 10:16, 16 September 2009 (hist) (diff) m Atacama Large Millimeter Array‎ (→Data size: remark JF)
• 15:17, 15 September 2009 (hist) (diff) m Atacama Large Millimeter Array‎ (→Equipment (computers, CPU, RAM): removed ~)
• 15:14, 15 September 2009 (hist) (diff) Showcases‎ (added link to ALMA showcase)
• 15:13, 15 September 2009 (hist) (diff) Atacama Large Millimeter Array‎ (added picture)
• 15:11, 15 September 2009 (hist) (diff) N Image:ALMA.jpg‎ (A picture of ALMA telescopes in the Chilean Atacama desert.) (top)
• 15:07, 15 September 2009 (hist) (diff) N Atacama Large Millimeter Array‎ (created page)
• 15:02, 3 August 2009 (hist) (diff) Development‎ (added link to page about the cronjobs)
• 15:01, 3 August 2009 (hist) (diff) m Private:Cronjob information‎ (→User requirements: the -> your) (top)
• 14:58, 3 August 2009 (hist) (diff) Private:Cronjob information‎ (added recommendation to read this doc carefully)
• 14:56, 3 August 2009 (hist) (diff) Private:Cronjob information‎ (increased all section headings by 1)
• 14:54, 3 August 2009 (hist) (diff) m Private:Cronjob information‎ (→File system permissions: added Unix)
• 14:53, 3 August 2009 (hist) (diff) m Private:Cronjob information‎ (→File system permissions: improved text)
• 14:51, 3 August 2009 (hist) (diff) Private:Cronjob information‎ (→User requirements: added requirement for backups; improved text)
• 14:18, 3 August 2009 (hist) (diff) Private:Cronjob information‎ (Many additions)
• 10:10, 3 August 2009 (hist) (diff) Private:Cronjob information‎ (wikified all text)
• 14:59, 27 July 2009 (hist) (diff) m User manual/lps2pbes‎ (removed A. van Dam to keep page in line with --version info in tool)
• 12:43, 22 July 2009 (hist) (diff) N Private:Cronjob information‎ (initial version; still needs lots of editing)
• 16:35, 3 July 2009 (hist) (diff) Library documentation‎ (added column for additional library documents)
• 13:24, 28 February 2009 (hist) (diff) m Rewrite strategies‎ (replaced obsolete -R option for the rewriter by -r) (top)
• 12:45, 26 January 2009 (hist) (diff) User manual‎ (added link to single-page version of the manual)
• 12:43, 26 January 2009 (hist) (diff) N Image:User manual-200901.pdf‎ (User manual for release January 2009) (top)
• 12:42, 26 January 2009 (hist) (diff) User manual‎ (added link to user manual 200901)
• 12:37, 26 January 2009 (hist) (diff) m User manual/Tool manual pages‎ (→Deprecated tools: fix table for wiki2latex)
• 12:36, 26 January 2009 (hist) (diff) m User manual/Tool manual pages‎ (→Experimental tools: fix table for wiki2latex)
• 12:34, 26 January 2009 (hist) (diff) m User manual/Introduction‎ (replaced mu symbol by html-code μ for wiki2latex) (top)
• 12:32, 26 January 2009 (hist) (diff) m User manual/Tool manual pages‎ (→Release tools: removed whitespace for wiki2latex)
• 12:30, 26 January 2009 (hist) (diff) LaTeX:W2L mCRL2‎ (changing Y columntype) (top)
• 12:26, 26 January 2009 (hist) (diff) User manual/pbesparelm‎ (added short summary at the top of the page)
• 12:26, 26 January 2009 (hist) (diff) User manual/pbesconstelm‎ (added short summary at the top of the page)
• 12:20, 26 January 2009 (hist) (diff) m User manual/Installation instructions‎ (→Windows: fixed some whitespace for wiki2latex)
• 12:16, 26 January 2009 (hist) (diff) m LaTeX:W2L mCRL2‎ (changing Y columntype)
• 12:13, 26 January 2009 (hist) (diff) m LaTeX:W2L mCRL2‎ (changing Y columntype)
• 12:10, 26 January 2009 (hist) (diff) m LaTeX:W2L mCRL2‎ (→mCRL2 LaTeX template: changing Y columntype)
• 12:05, 26 January 2009 (hist) (diff) m LaTeX:W2L mCRL2‎ (changing Y columntype)
• 12:02, 26 January 2009 (hist) (diff) LaTeX:W2L mCRL2‎ (added column type for tabularx)
• 11:58, 26 January 2009 (hist) (diff) User manual/Tool manual pages‎ (removed fixed width for export to latex)
• 11:50, 26 January 2009 (hist) (diff) m User manual/Introduction‎ (→History: fixed some line endings)
• 11:49, 26 January 2009 (hist) (diff) m User manual/Introduction‎ (→History: fixed some line endings)
• 11:12, 26 January 2009 (hist) (diff) m User manual/Introduction‎ (→History: fixed some line endings)
• 11:05, 26 January 2009 (hist) (diff) User manual/AllInOnePage‎ (formcheck -> formulacheck)
• 11:03, 26 January 2009 (hist) (diff) N User manual/AllInOnePage‎ (created page)
• 10:56, 26 January 2009 (hist) (diff) User manual/Contents‎ (added pbesconstelm and pbesparelm)
• 10:52, 26 January 2009 (hist) (diff) m User manual/Tool manual pages‎ (→Release tools: renamed formcheck to formulacheck)
• 10:51, 26 January 2009 (hist) (diff) m User manual/pbesparelm‎ (→Synopsis: fixed closing </tt> tag)
• 14:11, 23 January 2009 (hist) (diff) m Image:BookAlexanderGardner.jpg‎ (fixed link) (top)
• 14:09, 23 January 2009 (hist) (diff) Home‎ (added image of book cover)
• 13:59, 23 January 2009 (hist) (diff) N Image:BookAlexanderGardner.jpg‎ (Front cover of the book "Process Algebra for Parallel and Distributed Processing" by Michael Alexander and William Gardner (editors), CRC Press, 2008, ISBN 978-1-4200-6486-5.)

(Latest | Earliest) View (newer 50) (older 50) (20 | 50 | 100 | 250 | 500)