Changes between Version 2 and Version 3 of WikiStart

Show
Ignore:
Timestamp:
05/21/10 19:32:10 (4 years ago)
Author:
iago (IP: 79.155.122.208)
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • WikiStart

    v2 v3  
    1 = Welcome to the SpecHaskell Trac = 
     1= Welcome to the Spec,,Haskell,, Trac = 
    22 
     3This page host the bug-tracker. 
    34 
     5== What Spec,,Haskell,, is == 
    46 
     7Spec,,Haskell,, project aims to provide a tool supporting: 
     8 
     9 * Annotating Haskell sources with specifications. 
     10 * Generating proof obligations from these specifications. 
     11 * Different methods to verify these obligations.