Commits

Breadcrumbs

History for

ondevelop

User selector

All users

Datepicker

All time

Commit History

Commits on May 27, 2020

• Promote (SML) $ to Lib; update its fixity; document it

  

  Michael Norrish

  committed
  6dc5af7

  Copy full SHA for 6dc5af7

Commits on Nov 3, 2019

• Port Event_Timer and Timeout code from Isabelle for Poly/ML HOL

  Show description for 6fab4d1
  mn200

  committed
  6fab4d1

  Copy full SHA for 6fab4d1

Commits on Aug 23, 2019

• Move pretty-printer's notion of unsafe variable name to Lexis

  Show description for 4b1a288
  mn200

  committed
  4b1a288

  Copy full SHA for 4b1a288

Commits on Aug 8, 2019

• Make Portable.single available in Lib

  Show description for 8384b1c
  mn200

  committed
  8384b1c

  Copy full SHA for 8384b1c

Commits on May 14, 2019

• Move allow_schema_definition flag out of Globals into a feedback trace

  Show description for e2f82d3
  mn200

  committed
  e2f82d3

  Copy full SHA for e2f82d3

Commits on Feb 27, 2019

• Clean up handling of type_grammar deltas and interaction with Thyops

  Show description for 6646500
  mn200

  committed
  6646500

  Copy full SHA for 6646500

Commits on Feb 3, 2019

• Really remove "eqtype-ness" from terms

  Show description for 2cf8aa0
  mn200

  committed
  2cf8aa0

  Copy full SHA for 2cf8aa0

• Merge branch 'develop' into remove-term-eqtype

  mn200

  committed
  e0320c4

  Copy full SHA for e0320c4

Commits on Feb 1, 2019

• Provide nicer p/printing for HOLset values; tweak Poly prelude

  Show description for f4a272b
  mn200

  committed
  f4a272b

  Copy full SHA for f4a272b

Commits on Dec 9, 2018

• Merge branch 'master' into remove-term-eqtype

  mn200

  committed
  31a6253

  Copy full SHA for 31a6253

Commits on Nov 29, 2018

• Merge master into remove-term-eqtype

  mn200

  committed
  8fceb4e

  Copy full SHA for 8fceb4e

Commits on Nov 27, 2018

• Rework lexing & printing to support new variable syntaxes

  Show description for a6f74cd
  mn200

  committed
  a6f74cd

  Copy full SHA for a6f74cd

Commits on Nov 20, 2018

• Remove Globals.priming.

  Show description for 8d2dfbc
  mn200

  committed
  8d2dfbc

  Copy full SHA for 8d2dfbc

Commits on Sep 5, 2018

• Fix subscript nameStreams to start at 1 rather than 0

  Show description for 0f8d500
  mn200

  committed
  0f8d500

  Copy full SHA for 0f8d500

Commits on Sep 4, 2018

• Reimplement variable name-gen operations in kernel with sync-vars

  mn200

  committed
  f42dfac

  Copy full SHA for f42dfac

Commits on Aug 31, 2018

• Correct Holmakefile for KNametab under Moscow ML

  mn200

  committed
  77b329b

  Copy full SHA for 77b329b

• Merge pull request HOL-Theorem-Prover#579 from immler/no-ref-match

  Show description for f05f730
  

  Michael Norrish

  authored
  f05f730

  Copy full SHA for f05f730

Commits on Aug 30, 2018

• remove ref-matches from KernelSig.sml

  immler

  committed
  3baffb5

  Copy full SHA for 3baffb5

• eliminated some ref-matches

  immler

  committed
  b3ae0ef

  Copy full SHA for b3ae0ef

• Install a bunch of Table instances in hol.bare image

  Show description for 83daa84
  mn200

  committed
  83daa84

  Copy full SHA for 83daa84

Commits on Jun 4, 2018

• Provide a delete_trailing_wspace : string -> string function in Lib

  mn200

  committed
  19da86c

  Copy full SHA for 19da86c

Commits on May 6, 2018

• Add binding for option_compare in Lib

  mn200

  committed
  ddc8d59

  Copy full SHA for ddc8d59

Commits on Apr 14, 2018

• Fix terrible performance when reading large strings with Coding

  Show description for 689b9eb
  mn200

  committed
  689b9eb

  Copy full SHA for 689b9eb

Commits on Apr 4, 2018

• Move useful Coding module earlier in build sequence

  mn200

  committed
  e145b94

  Copy full SHA for e145b94

Commits on Mar 15, 2018

• Fix theorem pretty-printing

  mn200

  committed
  3ad7cac

  Copy full SHA for 3ad7cac

• Up to and boolTheory and slightly beyond

  mn200

  committed
  09c5dc0

  Copy full SHA for 09c5dc0

Commits on Mar 14, 2018

• Progress through Parse.sml

  mn200

  committed
  03b1a5d

  Copy full SHA for 03b1a5d

Commits on Mar 13, 2018

• Work towards use of PolyML.pretty type for most pretty-printing

  Show description for 3f25216
  mn200

  committed
  3f25216

  Copy full SHA for 3f25216

Commits on Dec 31, 2017

• Merge remote-tracking branch 'origin/master' into remove-term-eqtype

  mn200

  committed
  62b8707

  Copy full SHA for 62b8707

Commits on Dec 19, 2017

• Use the Unicode turnstile (user-customizable) when printing theorems

  Show description for 38d36b5
  

  Mario [Castelán Castro]

  committed
  38d36b5

  Copy full SHA for 38d36b5

Commits on Oct 29, 2017

• Merge 'origin/master' into remove-term-eqtype

  mn200

  committed
  3c3b1ed

  Copy full SHA for 3c3b1ed

Commits on Oct 27, 2017

• Move lambda type, dest_term function to kernel; add identical fn

  Show description for e13bfb2
  mn200

  committed
  e13bfb2

  Copy full SHA for e13bfb2

Commits on Oct 16, 2017

• Remove eqtype declaration for term type

  mn200

  committed
  4888f52

  Copy full SHA for 4888f52

Commits on Oct 4, 2017

• Add syntax/ops to make set manipulations easier

  mn200

  committed
  1e48d44

  Copy full SHA for 1e48d44

• Implement find-replace for strings

  Show description for 1e968be
  mn200

  committed
  1e968be

  Copy full SHA for 1e968be

Pagination

Previous

Next