Commits

Breadcrumbs

History for

ondevelop

User selector

All users

Datepicker

All time

Commit History

Commits on Mar 6, 2017

• Update INSTALL instructions to prefer Poly, even on Windows

  Show description for 89a1ef8
  mn200

  committed
  89a1ef8

  Copy full SHA for 89a1ef8

Commits on Jan 15, 2016

• Remove docs saying --enable-shared must be used

  mn200

  committed
  3347686

  Copy full SHA for 3347686

Commits on Dec 30, 2015

• Adjust installation instructions a little.

  Show description for d0a11f5
  mn200

  committed
  d0a11f5

  Copy full SHA for d0a11f5

Commits on Dec 1, 2013

• Update installation instructions to include need for --enable-shared

  mn200

  committed
  f117863

  Copy full SHA for f117863

Commits on May 2, 2013

• Tuned.

  

  Tjark Weber

  committed
  78708c8

  Copy full SHA for 78708c8

Commits on Oct 5, 2012

• Document requirement to have dynamic loading working for Poly/ML.

  mn200

  committed
  a9bde59

  Copy full SHA for a9bde59

Commits on Aug 24, 2012

• Fixed name of Poly/ML configuration override file.

  

  Tjark Weber

  committed
  00a9e19

  Copy full SHA for 00a9e19

Commits on Nov 24, 2011

• Update INSTALL with link to github issues page (not S/F). Closes HOL-Theorem-Prover#46.

  Show description for decc598
  mn200

  committed
  decc598

  Copy full SHA for decc598

Commits on Sep 17, 2009

• Tuned.

  

  Tjark Weber

  authored and

  Tjark Weber

  committed
  2dffff4

  Copy full SHA for 2dffff4

Commits on Sep 16, 2009

• Renamed install.txt to INSTALL for the sake of uniformity.

  

  Tjark Weber

  authored and

  Tjark Weber

  committed
  6c2e6e8

  Copy full SHA for 6c2e6e8

Loading