Commits

Branch selector

 master

User selector

endgame

Datepicker

All time

Commit History

Commits on Jul 26, 2021

• Merge pull request system-f#414 from endgame/doc-fixes

  Show description for d61b0a9
  endgame

  authored
  d61b0a9

  Copy full SHA for d61b0a9

• README.markdown: Remove reference to nonexistent failed

  Show description for a65ec68
  endgame

  committed
  a65ec68

  Copy full SHA for a65ec68

• Course.Parser.list1: Suggest simpler operator

  Show description for eda2750
  endgame

  committed
  eda2750

  Copy full SHA for eda2750

• Merge pull request system-f#387 from arbaaz/patch-1

  Show description for 4350722
  endgame

  authored
  4350722

  Copy full SHA for 4350722

Commits on Jul 2, 2021

• Merge pull request system-f#411 from unam3/proper-seqOptional-description

  Show description for 90816b9
  endgame

  authored
  90816b9

  Copy full SHA for 90816b9

Commits on Jun 29, 2021

• Merge pull request system-f#412 from unam3/deletes-List.Course-produce-answer

  Show description for dad49f0
  endgame

  authored
  dad49f0

  Copy full SHA for dad49f0

• Merge pull request system-f#410 from unam3/proper-seqOptional-description

  Show description for b373dee
  endgame

  authored
  b373dee

  Copy full SHA for b373dee

Commits on Jun 28, 2021

• Merge pull request system-f#409 from gregberns/variables-not-in-scope

  Show description for 3676f43
  endgame

  authored
  3676f43

  Copy full SHA for 3676f43

Commits on Jun 14, 2020

• Add cabal.project file

  endgame

  committed
  c78ce11

  Copy full SHA for c78ce11

Commits on Feb 18, 2020

• Merge pull request system-f#381 from data61/link-support-files

  Show description for c8d3e63
  endgame

  authored
  c8d3e63

  Copy full SHA for c8d3e63

• Copy instead of link

  Show description for 6e1a301
  endgame

  committed
  6e1a301

  Copy full SHA for 6e1a301

• Push shell.nix into the support dir

  endgame

  committed
  1cb3f31

  Copy full SHA for 1cb3f31

Commits on Feb 15, 2020

• Merge pull request system-f#383 from data61/LightAndLight-patch-1

  Show description for 6ce2c04
  endgame

  authored
  6ce2c04

  Copy full SHA for 6ce2c04

Commits on Nov 29, 2019

• Merge pull request system-f#374 from endgame/no-cabal

  Show description for 626842d
  endgame

  authored
  626842d

  Copy full SHA for 626842d