Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Jun 16, 2014

• Change maintainer email

  norm2782

  committed
  30b3165

  Copy full SHA for 30b3165

• Stretch deps

  norm2782

  committed
  7358a77

  Copy full SHA for 7358a77

Commits on Jan 27, 2012

• Merging spockz

  norm2782

  committed
  122857d

  Copy full SHA for 122857d

Commits on Jan 17, 2012

• * Priority fix

  Show description for 9896851
  spockz

  committed
  9896851

  Copy full SHA for 9896851

Commits on Dec 22, 2011

• Add a uu-tc-based parser

  norm2782

  committed
  9963131

  Copy full SHA for 9963131

• Split off the parser from the Prolog machinery.

  norm2782

  committed
  3792054

  Copy full SHA for 3792054

Commits on Oct 20, 2011

• added formatting infix list conses

  doaitse

  committed
  de943bc

  Copy full SHA for de943bc

• exporting two more types for haddock

  doaitse

  committed
  674e905

  Copy full SHA for 674e905

• pCons added

  doaitse

  committed
  b396086

  Copy full SHA for b396086

• Merge branch 'master' of github.com:norm2782/NanoProlog

  norm2782

  committed
  dcb2583

  Copy full SHA for dcb2583

• Export Env constructor as well

  norm2782

  committed
  f5399db

  Copy full SHA for f5399db

Commits on Oct 19, 2011

• layout and git test

  doaitse

  committed
  f2e3226

  Copy full SHA for f2e3226

• Bump version number

  norm2782

  committed
  5d3cd8d

  Copy full SHA for 5d3cd8d

• Remove haskell98 from deps. Import System.Environment instead of System

  norm2782

  committed
  bbb87dc

  Copy full SHA for bbb87dc

Commits on Oct 18, 2011

• .gitgnore

  doaitse

  committed
  807fdbb

  Copy full SHA for 807fdbb

• Adapted for terms with [.] and -> constructors.

  doaitse

  committed
  1bf9791

  Copy full SHA for 1bf9791

• Begin of type parsing and showing

  doaitse

  committed
  0595fc9

  Copy full SHA for 0595fc9

Commits on May 31, 2011

• Accept Prolog rule file in CLI arguments

  norm2782

  committed
  f15302f

  Copy full SHA for f15302f

• Add more example rules

  norm2782

  committed
  23887b0

  Copy full SHA for 23887b0

Commits on May 30, 2011

• Formatting

  norm2782

  committed
  946a40b

  Copy full SHA for 946a40b

• More formatting

  norm2782

  committed
  e38e696

  Copy full SHA for e38e696

• Format solve for increased readability

  norm2782

  committed
  15f82e9

  Copy full SHA for 15f82e9

• match added

  doaitse

  committed
  97eff83

  Copy full SHA for 97eff83

• Merge branch 'master' of github.com:norm2782/NanoProlog

  Show description for 58c6259
  doaitse

  committed
  58c6259

  Copy full SHA for 58c6259

• Preparing 0.2.1

  norm2782

  committed
  3e9ee1a

  Copy full SHA for 3e9ee1a

Commits on May 29, 2011

• Support variables with numbers

  norm2782

  committed
  76b5a0c

  Copy full SHA for 76b5a0c

Commits on May 28, 2011

• Merge branch 'master' of github.com:norm2782/NanoProlog

  doaitse

  committed
  3be82a0

  Copy full SHA for 3be82a0

• Export Env as well

  norm2782

  committed
  208eb52

  Copy full SHA for 208eb52

• Add name to cabal file

  norm2782

  committed
  ebeb4f3

  Copy full SHA for ebeb4f3

Commits on May 24, 2011

• Merge branch 'master' of github.com:norm2782/NanoProlog

  doaitse

  committed
  2f12bc3

  Copy full SHA for 2f12bc3

• Beautified solve a bit

  doaitse

  committed
  8160be7

  Copy full SHA for 8160be7

• Makefile for NanoProlog

  norm2782

  committed
  5e223cb

  Copy full SHA for 5e223cb

• New Main file. Rest a library.

  norm2782

  committed
  83288bc

  Copy full SHA for 83288bc

• Merge branch 'master' of github.com:norm2782/NanoProlog

  norm2782

  committed
  be8cc2e

  Copy full SHA for be8cc2e

• Rename Main. Up cabal dep to 1.8

  norm2782

  committed
  4d28e90

  Copy full SHA for 4d28e90

Pagination

Previous

Next