Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Jan 30, 2024

• Merge pull request #36 from bbentzen/add-pml-transcriptions

  Show description for 3b61555
  stevana

  authored
  3b61555

  Copy full SHA for 3b61555

Commits on Mar 26, 2023

• fix README.md

  bbentzen

  committed
  44bc60a

  Copy full SHA for 44bc60a

• Add pml.flu.cas.cz transcriptions

  bbentzen

  committed
  e3977e5

  Copy full SHA for e3977e5

Commits on Oct 21, 2021

• Add an elusive text with special permission from the author

  

  wilbowma

  authored and

  gallais

  committed
  192907d

  Copy full SHA for 192907d

Commits on Mar 24, 2021

• [ fix #27 ] use local links

  gallais

  committed
  2515c09

  Copy full SHA for 2515c09

Commits on Mar 22, 2021

• new bib entries

  

  RobertHarper

  authored and

  gallais

  committed
  c8ccabf

  Copy full SHA for c8ccabf

Commits on Feb 11, 2021

• scantailor 1982

  

  mattearnshaw

  authored and

  gallais

  committed
  3d72e37

  Copy full SHA for 3d72e37

• typeset version of The-logic-of-judgements-1987.pdf

  

  Christian Lehmann

  authored and

  gallais

  committed
  717e218

  Copy full SHA for 717e218

Commits on Aug 29, 2020

• added Peter Dybjer's version of the 1979 Constructive Mathematics and computer programming

  

  wmacmil

  authored and

  gallais

  committed
  ac1fd27

  Copy full SHA for ac1fd27

Commits on May 23, 2016

• Merge pull request #14 from mattearnshaw/master

  Show description for af7b671
  michaelt

  committed
  af7b671

  Copy full SHA for af7b671

• Merge pull request #13 from mattearnshaw/patch-1

  Show description for 32bf47a
  michaelt

  committed
  32bf47a

  Copy full SHA for 32bf47a

• optimize 1972b, 1991 PDFs

  mattearnshaw

  committed
  994b38e

  Copy full SHA for 994b38e

• fix 404 URL in README

  mattearnshaw

  committed
  bf4de93

  Copy full SHA for bf4de93

Commits on Nov 10, 2015

• a path from logic to metaphysics, published version

  michaelt

  committed
  46cabe1

  Copy full SHA for 46cabe1

Commits on Aug 23, 2015

• Make links to archive-pml.github.io

  Show description for a29a0b2
  michaelt

  committed
  a29a0b2

  Copy full SHA for a29a0b2

Commits on Jun 17, 2015

• s/December 11/December 11th/

  stevana

  committed
  44858c0

  Copy full SHA for 44858c0

• Merge branch 'master' of https://github.com/michaelt/martin-lof

  stevana

  committed
  f6f76fe

  Copy full SHA for f6f76fe

• Add NbE talk given at Chalmers last year.

  stevana

  committed
  83750ce

  Copy full SHA for 83750ce

Commits on Jun 16, 2015

• Merge pull request #9 from mietek/master

  Show description for 60aa712
  stevana

  committed
  60aa712

  Copy full SHA for 60aa712

Commits on Jun 5, 2015

• Replace book with corrected copy

  mietek

  committed
  8b1e234

  Copy full SHA for 8b1e234

• Smaller heading.

  stevana

  committed
  6d17843

  Copy full SHA for 6d17843

• Use "works" rather than "papers", as many entires are lecture notes or

  Show description for 8d9760b
  stevana

  committed
  8d9760b

  Copy full SHA for 8d9760b

• Tweak Bibliopolis entry a bit.

  stevana

  committed
  58f56f6

  Copy full SHA for 58f56f6

• Sort by date.

  stevana

  committed
  1de04ef

  Copy full SHA for 1de04ef

• Fix date for Bibliopolis book.

  stevana

  committed
  d566c0d

  Copy full SHA for d566c0d

• Remove "Add 1969 Informal Notes on Foundations", closes #8.

  stevana

  committed
  0029a18

  Copy full SHA for 0029a18

• Add date to Reply... paper.

  stevana

  committed
  0acb1bf

  Copy full SHA for 0acb1bf

Commits on Feb 7, 2015

• Merge pull request #7 from jonsterling/informal-notes-on-foundations

  Show description for de73833
  gallais

  committed
  de73833

  Copy full SHA for de73833

• Add 1969 Informal Notes on Foundations

  Show description for 40972d3
  jonsterling

  committed
  40972d3

  Copy full SHA for 40972d3

Commits on Oct 14, 2014

• Merge pull request #6 from mortberg/master

  Show description for cf5f3d2
  michaelt

  committed
  cf5f3d2

  Copy full SHA for cf5f3d2

• Fixed typos in filenames as well

  

  Anders Mörtberg

  committed
  c5d9cf4

  Copy full SHA for c5d9cf4

Commits on Oct 13, 2014

• Merge pull request #5 from mortberg/patch-1

  Show description for e69c0b0
  michaelt

  committed
  e69c0b0

  Copy full SHA for e69c0b0

• Fixing a typo

  

  mortberg

  committed
  4fc5755

  Copy full SHA for 4fc5755

Commits on Oct 7, 2014

• [ new; nopdf ] Nbe & the Method of Computability

  gallais

  committed
  25c55ca

  Copy full SHA for 25c55ca

Commits on Sep 12, 2014

• added references to ML papers from the HOTT book

  michaelt

  committed
  9a7326e

  Copy full SHA for 9a7326e

Pagination

Previous

Next