Commits

Breadcrumbs

History for

onmaster

User selector

All users

Datepicker

All time

Commit History

Commits on Nov 10, 1999

• support for modular specialization, hidden datatypes

  

  thiemann

  committed
  5335f25

  Copy full SHA for 5335f25

Commits on Dec 15, 1998

• changed interface of the frontend

  Show description for 04eda22
  

  thiemann

  committed
  04eda22

  Copy full SHA for 04eda22

Commits on Jun 18, 1996

• defdata -> define-data.

  

  sperber

  committed
  ff6654e

  Copy full SHA for ff6654e

Commits on Apr 24, 1996

• Improved error message.

  

  sperber

  committed
  b66da82

  Copy full SHA for b66da82

Commits on Oct 23, 1995

• continuation based reduction works

  

  thiemann

  committed
  1126e85

  Copy full SHA for 1126e85

Commits on Oct 9, 1995

• Various changes:

  Show description for 8e6894a
  

  thiemann

  committed
  8e6894a

  Copy full SHA for 8e6894a

Commits on Oct 4, 1995

• Initial revision

  

  thiemann

  committed
  351f68a

  Copy full SHA for 351f68a

Loading