Skip to content

History

New page

Revisions

  • Updated Home (markdown)

    @samarion samarion committed Apr 25, 2016
    0c86a18

  • Updated ScalaZ3 and Visual Studio 2012 Express for Windows Desktop (markdown)

    @vo1stv vo1stv committed Oct 20, 2013
    562fbe5

  • reset working directory to default for eclipse launch configuration

    @vo1stv vo1stv committed Oct 20, 2013
    cefb253

  • whitespace and capitalization

    @vo1stv vo1stv committed Oct 20, 2013
    52a016b

  • added section "Test the newly built DLLs"

    @vo1stv vo1stv committed Oct 20, 2013
    fe60491

  • url to compilable project

    @vo1stv vo1stv committed Oct 20, 2013
    367a7ac

  • compiled successfully...

    @vo1stv vo1stv committed Oct 20, 2013
    b8ff386

  • library options

    @vo1stv vo1stv committed Oct 19, 2013
    92e6aed

  • still testing the procedure and updating as I go,

    @vo1stv vo1stv committed Oct 19, 2013
    dda7f15

  • Updated ScalaZ3 and Visual Studio 2012 Express for Windows Desktop (markdown)

    @vo1stv vo1stv committed Oct 19, 2013
    cc9a2ca

  • more details

    @vo1stv vo1stv committed Oct 19, 2013
    e319f61

  • Updated ScalaZ3 and Visual Studio 2012 Express for Windows Desktop (markdown)

    @vo1stv vo1stv committed Oct 19, 2013
    fda8ca9

  • Updated ScalaZ3 and Visual Studio 2012 Express for Windows Desktop (markdown)

    @vo1stv vo1stv committed Oct 19, 2013
    3398401

  • z3.lib

    @vo1stv vo1stv committed Oct 19, 2013
    d65b315

  • more discussion

    @vo1stv vo1stv committed Oct 16, 2013
    9069ade

  • output to .\project\libscalaz3

    @vo1stv vo1stv committed Oct 15, 2013
    ebc8ad9

  • better markdown usage

    @vo1stv vo1stv committed Oct 15, 2013
    77df815

  • more notes

    @vo1stv vo1stv committed Oct 15, 2013
    11f17d0

  • Updated ScalaZ3 and Visual Studio 2012 Express for Windows Desktop (markdown)

    @vo1stv vo1stv committed Oct 15, 2013
    da20570

  • draft.. still in progress

    @vo1stv vo1stv committed Oct 15, 2013
    eea197b

  • Updated Scala z3 and Visual Studio 2012 Express for Windows Desktop (markdown)

    @vo1stv vo1stv committed Oct 14, 2013
    3d99d9e

  • Updated Scalaz3 and Visual Studio 2012 Express for Windows Desktop (markdown)

    @vo1stv vo1stv committed Oct 14, 2013
    c594ccf

  • Updated Scalaz3 and Visual Studio 2012 Express for Windows Desktop (markdown)

    @vo1stv vo1stv committed Oct 14, 2013
    7d5120f

  • optional step for Eclipse users

    @vo1stv vo1stv committed Oct 14, 2013
    532d076

  • Font sizes and capitalization

    @vo1stv vo1stv committed Oct 14, 2013
    d1885da

  • Created and added a couple quick headings as placeholders

    @vo1stv vo1stv committed Oct 14, 2013
    1bb17fb

  • Refer to ScalaZ3 and Visual Studio 2012 Express for Windows Desktop page

    @vo1stv vo1stv committed Oct 14, 2013
    0967b13

  • typo

    @vo1stv vo1stv committed Oct 14, 2013
    b5c9ec8

  • editted link for 2012 release

    @vo1stv vo1stv committed Oct 14, 2013
    a014739

  • additional compiler options for windows users

    @vo1stv vo1stv committed Oct 14, 2013
    884b4db