Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Mar 15, 2019

• Update theorem list page

  jamesdabbs

  committed
  18034b9

  Copy full SHA for 18034b9

• Lean on using login from github

  jamesdabbs

  committed
  9272758

  Copy full SHA for 9272758

• Update specs

  jamesdabbs

  committed
  83f3d7f

  Copy full SHA for 83f3d7f

• Set default user names and emails from github when not given

  jamesdabbs

  committed
  cfdf15b

  Copy full SHA for cfdf15b

Commits on Mar 10, 2019

• Add cli helper for generating a UAT user

  jamesdabbs

  committed
  01ef6f1

  Copy full SHA for 01ef6f1

• Fix CI failures

  jamesdabbs

  committed
  9f33847

  Copy full SHA for 9f33847

Commits on Mar 9, 2019

• Support both T- and I- prefixed theorem ids

  Show description for 071bb9d
  jamesdabbs

  committed
  071bb9d

  Copy full SHA for 071bb9d

• Fix CI failures

  jamesdabbs

  committed
  1c771e2

  Copy full SHA for 1c771e2

• Hide edit banner when user isn't logged in. Fixes #11

  jamesdabbs

  committed
  a5e7090

  Copy full SHA for a5e7090

• Build pegjs parser grammar into production bundle

  jamesdabbs

  committed
  d6bbb85

  Copy full SHA for d6bbb85

Commits on Mar 5, 2019

• Merge pull request #9 from pi-base/branch-management

  Show description for 05d9e99
  jamesdabbs

  authored
  05d9e99

  Copy full SHA for 05d9e99

• Merge pull request #6 from pi-base/mobile-tweaks

  Show description for b7b6e32
  jamesdabbs

  authored
  b7b6e32

  Copy full SHA for b7b6e32

Commits on Feb 22, 2019

• UI changes to clarify branch status

  StevenClontz

  committed
  738db9b

  Copy full SHA for 738db9b

• fix navbar for mobile; change unicode arrows for wider support

  StevenClontz

  committed
  446c4c3

  Copy full SHA for 446c4c3

Commits on Feb 9, 2019

• Merge branch 'frontpage-aesthetic-tweaks'

  jamesdabbs

  committed
  733acd2

  Copy full SHA for 733acd2

• Toggle jumbotron display with the router

  jamesdabbs

  committed
  12ded29

  Copy full SHA for 12ded29

• Merge pull request #3 from pi-base/fix-related-theorems-add

  Show description for 36e3c5a
  jamesdabbs

  authored
  36e3c5a

  Copy full SHA for 36e3c5a

Commits on Feb 8, 2019

• streamline homepage (factor out contributing guidelines to separate repo)

  StevenClontz

  committed
  5463001

  Copy full SHA for 5463001

• jumbotron and navbar styling with space-filling curve

  StevenClontz

  committed
  88a88b7

  Copy full SHA for 88a88b7

• add button shouldn't appear unless on editable branch

  StevenClontz

  committed
  fa4623d

  Copy full SHA for fa4623d

Commits on Feb 5, 2019

• Address items from punch list

  jamesdabbs

  committed
  eb25475

  Copy full SHA for eb25475

Commits on Feb 2, 2019

• Bump webpack-dev-server version

  Show description for 9d5a2f6
  jamesdabbs

  committed
  9d5a2f6

  Copy full SHA for 9d5a2f6

• Add current branch banner

  Show description for d4368ad
  jamesdabbs

  committed
  d4368ad

  Copy full SHA for d4368ad

Commits on Jan 22, 2019

• Clean up client persistence

  jamesdabbs

  committed
  4c6efe5

  Copy full SHA for 4c6efe5

• Persist client and user information in localStorage

  jamesdabbs

  committed
  1c9365d

  Copy full SHA for 1c9365d

• Fix login

  Show description for 25ace08
  jamesdabbs

  committed
  25ace08

  Copy full SHA for 25ace08

• Update READMEs

  jamesdabbs

  committed
  74e0717

  Copy full SHA for 74e0717

Commits on Jan 21, 2019

• Run viewer tests on CI against server binary

  jamesdabbs

  committed
  7d54485

  Copy full SHA for 7d54485

• Build viewer on CI

  jamesdabbs

  committed
  a855761

  Copy full SHA for a855761

Commits on Jan 17, 2019

• Add sessions; support redirecting back to dynamic viewer url

  jamesdabbs

  committed
  ae85bac

  Copy full SHA for ae85bac

Commits on Jan 14, 2019

• Ship WIP code changes; work on CI build

  jamesdabbs

  committed
  2dce7a3

  Copy full SHA for 2dce7a3

Commits on Nov 3, 2018

• Remove Yesod; refactor internals

  jamesdabbs

  committed
  aa00f71

  Copy full SHA for aa00f71

Commits on Oct 13, 2018

• Symlink viewer graph files

  jamesdabbs

  committed
  9214182

  Copy full SHA for 9214182

• Add CI workflow

  jamesdabbs

  committed
  3053ce3

  Copy full SHA for 3053ce3

Commits on Sep 4, 2018

• Pull CI base image from Quay

  jamesdabbs

  committed
  0cbdf4f

  Copy full SHA for 0cbdf4f

Pagination

Previous

Next