Commits

Breadcrumbs

History for

on7ead68f

User selector

All users

Datepicker

All time

Commit History

Commits on Jul 26, 2022

• backward compitable (with 8.6.5) usage of MonadFail

  daniilsvc

  committed
  6019ec4

  Copy full SHA for 6019ec4

Commits on Mar 5, 2022

• make check: fail on any error

  jelmd

  committed
  ae48edf

  Copy full SHA for ae48edf

Commits on Jun 26, 2019

• 1887 het to dol (#1888)

  Show description for 5a71e78
  tillmo

  authored
  5a71e78

  Copy full SHA for 5a71e78

Commits on Mar 25, 2016

• applied utils/replaceAllHeaders.sh

  Show description for e9458b1
  

  Jens Elkner

  committed
  e9458b1

  Copy full SHA for e9458b1

Commits on Nov 29, 2013

• removed lots of hlint warnings

  Show description for 3d3889e
  sternk

  committed
  3d3889e

  Copy full SHA for 3d3889e

Commits on Nov 2, 2011

• remove these outdated updates

  Show description for 1d67cb9
  

  Christian Maeder

  authored and

  Christian Maeder

  committed
  1d67cb9

  Copy full SHA for 1d67cb9

Commits on Oct 31, 2011

• Spec3 test case

  Show description for de7b1df
  

  Christian Maeder

  authored and

  Christian Maeder

  committed
  de7b1df

  Copy full SHA for de7b1df

• changed targets

  Show description for 2e647c1
  

  Christian Maeder

  authored and

  Christian Maeder

  committed
  2e647c1

  Copy full SHA for 2e647c1

• test Makefile

  Show description for ea9ad4f
  

  Christian Maeder

  authored and

  Christian Maeder

  committed
  ea9ad4f

  Copy full SHA for ea9ad4f

Commits on Oct 12, 2011

• copy the correct file

  Show description for a47f89f
  

  Christian Maeder

  authored and

  Christian Maeder

  committed
  a47f89f

  Copy full SHA for a47f89f

• keep new (and minimal) xml ouput

  Show description for dc11d06
  

  Christian Maeder

  authored and

  Christian Maeder

  committed
  dc11d06

  Copy full SHA for dc11d06

• use our xmldiff

  Show description for 30604b0
  

  Christian Maeder

  authored and

  Christian Maeder

  committed
  30604b0

  Copy full SHA for 30604b0

• re-created original xupdates

  Show description for da0e01c
  

  Christian Maeder

  authored and

  Christian Maeder

  committed
  da0e01c

  Copy full SHA for da0e01c

Commits on Oct 11, 2011

• call hets with proper arguments

  Show description for 112ba13
  

  Christian Maeder

  authored and

  Christian Maeder

  committed
  112ba13

  Copy full SHA for 112ba13

• added tests for adding and removing nodes

  Show description for ef1c1ce
  

  Christian Maeder

  authored and

  Christian Maeder

  committed
  ef1c1ce

  Copy full SHA for ef1c1ce

Commits on Sep 6, 2011

• implemented insert-append for ApplyXmlDiff

  Show description for 739c047
  

  Simon Ulbricht

  committed
  739c047

  Copy full SHA for 739c047

Commits on Jul 11, 2011

• added xupdates examples

  Show description for 4200c27
  

  Christian Maeder

  authored and

  Christian Maeder

  committed
  4200c27

  Copy full SHA for 4200c27

Commits on Mar 23, 2011

• extended symbol mappings to support reparsing

  Show description for d3f1920
  

  Christian Maeder

  authored and

  Christian Maeder

  committed
  d3f1920

  Copy full SHA for d3f1920

• added original renaming example

  Show description for 82b3031
  

  Christian Maeder

  authored and

  Christian Maeder

  committed
  82b3031

  Copy full SHA for 82b3031

• added renaming example

  Show description for 36ce454
  

  Christian Maeder

  authored and

  Christian Maeder

  committed
  36ce454

  Copy full SHA for 36ce454

Commits on Mar 22, 2011

• Test Module for Static.FromXML

  Show description for b9b11f5
  

  Simon Ulbricht

  committed
  b9b11f5

  Copy full SHA for b9b11f5

Commits on Jan 3, 2011

• also move impact files

  Show description for 844efba
  

  Christian Maeder

  authored and

  Christian Maeder

  committed
  844efba

  Copy full SHA for 844efba

Commits on Dec 27, 2010

• let all single node tests go through

  Show description for cb87c2a
  

  Christian Maeder

  authored and

  Christian Maeder

  committed
  cb87c2a

  Copy full SHA for cb87c2a

Commits on Sep 27, 2010

• fixed remove theorem case

  Show description for 1f46edf
  

  Christian Maeder

  authored and

  Christian Maeder

  committed
  1f46edf

  Copy full SHA for 1f46edf

• added theorem modification

  Show description for b75ad7b
  

  Christian Maeder

  authored and

  Christian Maeder

  committed
  b75ad7b

  Copy full SHA for b75ad7b

Commits on Sep 14, 2010

• single node tests

  Show description for 48c29e3
  

  Christian Maeder

  authored and

  Christian Maeder

  committed
  48c29e3

  Copy full SHA for 48c29e3

Commits on Aug 31, 2010

• Added see license.txt to license field

  Show description for 9889088
  

  Corneliu-Claudiu Prodescu

  authored and

  Corneliu-Claudiu Prodescu

  committed
  9889088

  Copy full SHA for 9889088

Commits on Aug 11, 2010

• 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 Jul 2, 2008

• simplified test binary

  Show description for 13bcd41
  

  Christian Maeder

  authored and

  Christian Maeder

  committed
  13bcd41

  Copy full SHA for 13bcd41

Commits on Mar 20, 2008

• made it compile

  Show description for 729ecf1
  

  Christian Maeder

  authored and

  Christian Maeder

  committed
  729ecf1

  Copy full SHA for 729ecf1

Commits on Aug 23, 2007

• added more descriptive TreatFormula datatype

  Show description for 7c8e78f
  

  Christian Maeder

  authored and

  Christian Maeder

  committed
  7c8e78f

  Copy full SHA for 7c8e78f

Commits on Jul 13, 2007

• obsolete

  Show description for e37a0a3
  

  Christian Maeder

  authored and

  Christian Maeder

  committed
  e37a0a3

  Copy full SHA for e37a0a3

Commits on Feb 21, 2007

• switched to Data.Set, Data.Map and Data.Dynamic

  Show description for ad27000
  

  Christian Maeder

  authored and

  Christian Maeder

  committed
  ad27000

  Copy full SHA for ad27000

Commits on Aug 10, 2006

• removed the LibEnv-Translation from Test to DGTranslation; changed the order of diagnoses output; fixed a bug: the same diagnoses more times collective

  Show description for c1edcfb
  

  Heng Jiang

  committed
  c1edcfb

  Copy full SHA for c1edcfb

Commits on Aug 8, 2006

• all globalcontext in LibEnv are translated; given more messages out by translation; removed assert; bugfixed.

  Show description for 37d53a2
  

  Heng Jiang

  committed
  37d53a2

  Copy full SHA for 37d53a2

Pagination

Previous

Next