Commits

Breadcrumbs

History for

onrelease-0.99

User selector

All users

Datepicker

All time

Commit History

Commits on Apr 23, 2013

• refined Haskell and ExtModal entry

  Show description for e25f8c6
  

  Christian Maeder

  authored and

  Christian Maeder

  committed
  e25f8c6

  Copy full SHA for e25f8c6

• joined two THF entries

  Show description for fae7830
  

  Christian Maeder

  authored and

  Christian Maeder

  committed
  fae7830

  Copy full SHA for fae7830

• adjustments wrt OWL, Fpl, THF, HOL-light and version

  Show description for 07f9230
  

  Christian Maeder

  authored and

  Christian Maeder

  committed
  07f9230

  Copy full SHA for 07f9230

• added Fpl reference and removed duplicate years and short booktitles

  Show description for 8abeacc
  

  Christian Maeder

  authored and

  Christian Maeder

  committed
  8abeacc

  Copy full SHA for 8abeacc

Commits on Mar 25, 2013

• adjusted getting started

  Show description for 34d8806
  

  Christian Maeder

  authored and

  Christian Maeder

  committed
  34d8806

  Copy full SHA for 34d8806

Commits on Jan 10, 2013

• new logic graph; interactive provers

  Show description for ab5781b
  tillmo

  committed
  ab5781b

  Copy full SHA for ab5781b

Commits on Feb 2, 2012

• improved COLORE relative interpretation explanation

  Show description for d5f0fdf
  clange

  committed
  d5f0fdf

  Copy full SHA for d5f0fdf

Commits on Feb 1, 2012

• added one more example to Hets-lib

  Show description for 0a3457e
  clange

  committed
  0a3457e

  Copy full SHA for 0a3457e

• ported most metatheoretical relation annotations to HetCASL

  Show description for e8fb767
  clange

  committed
  e8fb767

  Copy full SHA for e8fb767

Commits on Jan 26, 2012

• changed cl:foo to cl-foo syntax; partly removed obsolete CLIF-embedded theory relation annotation in favor of HetCASL

  Show description for e11cf71
  clange

  committed
  e11cf71

  Copy full SHA for e11cf71

Commits on Jan 25, 2012

• fixed errors

  Show description for 26973ce
  clange

  committed
  26973ce

  Copy full SHA for 26973ce

Commits on Jan 23, 2012

• fixed/improved listings

  Show description for 4ec6e80
  clange

  committed
  4ec6e80

  Copy full SHA for 4ec6e80

• some documentation

  Show description for a67fd71
  clange

  committed
  a67fd71

  Copy full SHA for a67fd71

• doing listings properly

  Show description for f4aeb94
  clange

  committed
  f4aeb94

  Copy full SHA for f4aeb94

Commits on Jan 21, 2012

• one more example for relative interpretations

  Show description for 7f518a9
  clange

  committed
  7f518a9

  Copy full SHA for 7f518a9

• publishing

  Show description for 0082fa5
  clange

  committed
  0082fa5

  Copy full SHA for 0082fa5

• ednotes

  Show description for 500bea7
  tillmo

  committed
  500bea7

  Copy full SHA for 500bea7

• example for relative interpretation (COLORE annotation and HetCASL view)

  Show description for 1d9290e
  clange

  committed
  1d9290e

  Copy full SHA for 1d9290e

• AAL example

  Show description for 6da256d
  clange

  committed
  6da256d

  Copy full SHA for 6da256d

Commits on Jan 20, 2012

• restructured example section

  Show description for 2fd0eb3
  clange

  committed
  2fd0eb3

  Copy full SHA for 2fd0eb3

• refactored entries

  Show description for 4abae52
  clange

  committed
  4abae52

  Copy full SHA for 4abae52

• minor formatting

  Show description for 3952a5c
  clange

  committed
  3952a5c

  Copy full SHA for 3952a5c

• final minor revisions; additional contributions follow now

  Show description for c1d5a80
  clange

  committed
  c1d5a80

  Copy full SHA for c1d5a80

• sync

  Show description for 7c8fc71
  clange

  committed
  7c8fc71

  Copy full SHA for 7c8fc71

• fixed some \ref's

  Show description for 89854ca
  clange

  committed
  89854ca

  Copy full SHA for 89854ca

• RDF serializations; small fixes in CL relations

  Show description for 3239cf1
  clange

  committed
  3239cf1

  Copy full SHA for 3239cf1

• adding logic graph; minor revisions in dev. graph section

  Show description for 23a1026
  clange

  committed
  23a1026

  Copy full SHA for 23a1026

Commits on Jan 19, 2012

• listing format

  Show description for f8b3526
  clange

  committed
  f8b3526

  Copy full SHA for f8b3526

• spell check

  Show description for 0a1d8bb
  clange

  committed
  0a1d8bb

  Copy full SHA for 0a1d8bb

• spell-checked; more OWL literature

  Show description for 25a9c66
  clange

  committed
  25a9c66

  Copy full SHA for 25a9c66

• CL and OWL literature; OWL 2 profiles

  Show description for c65ffca
  clange

  committed
  c65ffca

  Copy full SHA for c65ffca

• started some minor revisions, from beginning

  Show description for 9254d74
  clange

  committed
  9254d74

  Copy full SHA for 9254d74

Commits on Jan 18, 2012

• Hets input languages

  Show description for fbee0dd
  tillmo

  committed
  fbee0dd

  Copy full SHA for fbee0dd

• Hets input languages

  Show description for a3e28d2
  tillmo

  committed
  a3e28d2

  Copy full SHA for a3e28d2

• Moved proving section ahead

  Show description for 46bfe17
  tillmo

  committed
  46bfe17

  Copy full SHA for 46bfe17

Pagination

Previous

Next