Changes between Version 26 and Version 27 of WikiStart


Ignore:
Timestamp:
May 22, 2013, 1:50:52 PM (8 years ago)
Author:
benl
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • WikiStart

    v26 v27  
    3333 $ make
    3434}}}
     35
     36 * Each Coq module should check in under two minutes. If not then the automation might have diverged, so please tell me about it. Also report any build problems.
    3537
    3638== More Information ==