Commits

Breadcrumbs

History for

onrelease-0.99

User selector

All users

Datepicker

All time

Commit History

Commits on Oct 18, 2012

• do not test non-working HOLCF stuff

  Show description for 412ded8
  

  Christian Maeder

  authored and

  Christian Maeder

  committed
  412ded8

  Copy full SHA for 412ded8

Commits on Aug 7, 2012

• use operators +, -, * provided by class num

  Show description for 588e765
  sternk

  committed
  588e765

  Copy full SHA for 588e765

• do not create specialized definitions for eqH, neqH

  Show description for 488aed6
  sternk

  committed
  488aed6

  Copy full SHA for 488aed6

Commits on Aug 18, 2010

• removed CVSROOT settings

  Show description for 834a709
  

  Christian Maeder

  authored and

  Christian Maeder

  committed
  834a709

  Copy full SHA for 834a709

Commits on Aug 11, 2010

• Reverted Haskell/test and ToHaskell/test

  Show description for 4959c4e
  

  Corneliu-Claudiu Prodescu

  authored and

  Corneliu-Claudiu Prodescu

  committed
  4959c4e

  Copy full SHA for 4959c4e

• Changed haddock headers and inserted empty headers for the ones missing

  Show description for b87efd3
  

  Corneliu-Claudiu Prodescu

  authored and

  Corneliu-Claudiu Prodescu

  committed
  b87efd3

  Copy full SHA for b87efd3

Commits on Jan 21, 2010

• make the test run at all

  Show description for 62726f9
  

  Christian Maeder

  authored and

  Christian Maeder

  committed
  62726f9

  Copy full SHA for 62726f9

Commits on Nov 1, 2007

• Part of the Prelude to be translated to HOLCF

  Show description for 28ff4d4
  

  Paolo Torrini

  committed
  28ff4d4

  Copy full SHA for 28ff4d4

Commits on Jun 25, 2007

• is different after make check

  Show description for a853937
  

  Christian Maeder

  authored and

  Christian Maeder

  committed
  a853937

  Copy full SHA for a853937

Commits on Jun 1, 2007

• current output is too big

  Show description for 486b3f9
  

  Christian Maeder

  authored and

  Christian Maeder

  committed
  486b3f9

  Copy full SHA for 486b3f9

• current output

  Show description for 782291c
  

  Christian Maeder

  authored and

  Christian Maeder

  committed
  782291c

  Copy full SHA for 782291c

Commits on May 25, 2007

• the log file for HOLCF is too big

  Show description for 06e990f
  

  Christian Maeder

  authored and

  Christian Maeder

  committed
  06e990f

  Copy full SHA for 06e990f

Commits on Sep 19, 2006

• revised equality axioms

  Show description for e2bbead
  

  Christian Maeder

  authored and

  Christian Maeder

  committed
  e2bbead

  Copy full SHA for e2bbead

Commits on Apr 21, 2006

• translation of Eq class changed

  Show description for 94c9b67
  

  Christian Maeder

  authored and

  Christian Maeder

  committed
  94c9b67

  Copy full SHA for 94c9b67

Commits on Mar 23, 2006

• moved examples to HOL

  Show description for 62a5129
  

  Christian Maeder

  authored and

  Christian Maeder

  committed
  62a5129

  Copy full SHA for 62a5129

• added working examples from HOLCF directory

  Show description for bf059a1
  

  Christian Maeder

  authored and

  Christian Maeder

  committed
  bf059a1

  Copy full SHA for bf059a1

• pattern matching

  Show description for bac5a70
  

  Paolo Torrini

  committed
  bac5a70

  Copy full SHA for bac5a70

Commits on Mar 20, 2006

• moved h2h and h2hf from ToHaskell to Haskell

  Show description for df29370
  

  Christian Maeder

  authored and

  Christian Maeder

  committed
  df29370

  Copy full SHA for df29370

Commits on Mar 9, 2006

• use isabelle scripts

  Show description for 449dec8
  

  Christian Maeder

  authored and

  Christian Maeder

  committed
  449dec8

  Copy full SHA for 449dec8

Commits on Mar 3, 2006

• new result with class and instances

  Show description for 6c0bcab
  

  Christian Maeder

  authored and

  Christian Maeder

  committed
  6c0bcab

  Copy full SHA for 6c0bcab

Commits on Feb 20, 2006

• module name must start with a capital letter

  Show description for 0475364
  

  Christian Maeder

  authored and

  Christian Maeder

  committed
  0475364

  Copy full SHA for 0475364

• corrected void module header

  Show description for 8421feb
  

  Christian Maeder

  authored and

  Christian Maeder

  committed
  8421feb

  Copy full SHA for 8421feb

Commits on Jan 17, 2006

• isabelle2005 change to PolyML

  Show description for 8bea350
  

  Christian Maeder

  authored and

  Christian Maeder

  committed
  8bea350

  Copy full SHA for 8bea350

Commits on Dec 23, 2005

• different redirection for solaris sh

  Show description for 976c775
  

  Christian Maeder

  authored and

  Christian Maeder

  committed
  976c775

  Copy full SHA for 976c775

• set CVSROOT

  Show description for 4f74785
  

  Christian Maeder

  authored and

  Christian Maeder

  committed
  4f74785

  Copy full SHA for 4f74785

Commits on Dec 22, 2005

• added test scripts and expected isabelle output

  Show description for 895a60f
  

  Christian Maeder

  authored and

  Christian Maeder

  committed
  895a60f

  Copy full SHA for 895a60f

• separate subdirs for HOL and HOLCF

  Show description for a2b78df
  

  Christian Maeder

  authored and

  Christian Maeder

  committed
  a2b78df

  Copy full SHA for a2b78df

Commits on Dec 18, 2005

• __* empty log message __*

  Show description for d8392f2
  

  Paolo Torrini

  committed
  d8392f2

  Copy full SHA for d8392f2

Commits on Dec 15, 2005

• Paolo's examples for translation to HOL

  Show description for db1fea5
  

  Christian Maeder

  authored and

  Christian Maeder

  committed
  db1fea5

  Copy full SHA for db1fea5

Commits on Oct 19, 2005

• ./runisabelle.sh after ../../ToHaskell/h2hf ex_*.hs

  Show description for 9caab82
  

  Christian Maeder

  authored and

  Christian Maeder

  committed
  9caab82

  Copy full SHA for 9caab82

Commits on Oct 5, 2005

• Paolo's examples

  Show description for 5782ac7
  

  Christian Maeder

  authored and

  Christian Maeder

  committed
  5782ac7

  Copy full SHA for 5782ac7

Commits on Jan 13, 2005

• add more stuff (including integer patterns that currently fail)

  Show description for cd7f8dc
  

  Christian Maeder

  authored and

  Christian Maeder

  committed
  cd7f8dc

  Copy full SHA for cd7f8dc

Commits on Jan 3, 2005

• wrong showArgument line caused deriving Show error

  Show description for 5be5844
  

  Christian Maeder

  authored and

  Christian Maeder

  committed
  5be5844

  Copy full SHA for 5be5844

Commits on Dec 29, 2004

• corrected layout

  Show description for ee1e636
  

  Christian Maeder

  authored and

  Christian Maeder

  committed
  ee1e636

  Copy full SHA for ee1e636

Commits on Dec 21, 2004

• Prelude subset

  Show description for 086c2ae
  

  Christian Maeder

  authored and

  Christian Maeder

  committed
  086c2ae

  Copy full SHA for 086c2ae

Pagination

Previous

Next