Home / Browse / HOL theorem-proving system / Mail / Archive

HOL theorem-proving system

Email Archive: hol-checkins (read-only)

2001:	_Jan	_Feb	_Mar	_Apr	_May	_Jun	_Jul	_Aug (21)	_Sep (54)	_Oct (196)	_Nov (158)	_Dec (139)
2002:	_Jan (62)	_Feb (98)	_Mar (42)	_Apr (137)	_May (141)	_Jun (108)	_Jul (70)	_Aug (117)	_Sep (106)	_Oct (25)	_Nov (34)	_Dec (27)
2003:	_Jan (53)	_Feb (53)	_Mar (102)	_Apr (62)	_May (10)	_Jun (77)	_Jul (83)	_Aug (72)	_Sep (74)	_Oct (118)	_Nov (6)	_Dec (6)
2004:	_Jan (89)	_Feb (43)	_Mar (41)	_Apr (20)	_May (30)	_Jun (60)	_Jul (204)	_Aug (79)	_Sep (19)	_Oct (37)	_Nov (25)	_Dec (34)
2005:	_Jan (174)	_Feb (107)	_Mar (48)	_Apr (70)	_May (35)	_Jun (115)	_Jul (257)	_Aug (63)	_Sep (62)	_Oct (51)	_Nov (68)	_Dec (47)
2006:	_Jan (50)	_Feb (129)	_Mar (73)	_Apr (13)	_May (91)	_Jun (135)	_Jul (104)	_Aug (117)	_Sep (151)	_Oct (101)	_Nov (69)	_Dec (51)
2007:	_Jan (68)	_Feb (45)	_Mar (44)	_Apr (21)	_May (40)	_Jun (27)	_Jul (76)	_Aug (29)	_Sep (12)	_Oct (61)	_Nov (32)	_Dec (16)
2008:	_Jan (35)	_Feb (26)	_Mar (46)	_Apr (79)	_May (61)	_Jun (38)	_Jul (58)	_Aug (64)	_Sep (96)	_Oct (86)	_Nov (66)	_Dec (80)
2009:	_Jan (53)	_Feb (81)	_Mar (104)	_Apr (68)	_May (61)	_Jun (78)	_Jul (138)	_Aug (74)	_Sep (157)	_Oct (132)	_Nov (113)	_Dec (78)
2010:	_Jan (129)	_Feb (101)	_Mar (146)	_Apr (158)	_May (72)	_Jun (98)	_Jul (80)	_Aug (124)	_Sep (123)	_Oct (98)	_Nov (37)	_Dec (51)
2011:	_Jan (82)	_Feb (36)	_Mar (50)	_Apr (50)	_May (52)	_Jun (62)	_Jul (33)	_Aug (61)	_Sep (125)	_Oct (63)	_Nov (14)	_Dec (17)
2012:	_Jan (22)	_Feb (36)	_Mar (177)	_Apr (77)	_May (60)	_Jun (46)	_Jul (127)	_Aug (96)	_Sep (58)	_Oct (72)	_Nov (40)	_Dec (44)
2013:	_Jan (42)	_Feb (42)	_Mar (5)	_Apr (24)	_May (25)	_Jun	_Jul	_Aug	_Sep	_Oct	_Nov	_Dec

[Hol-checkins] [mn200/HOL] decc59: Update INSTALL with link to github issues page (no...

From: <noreply@gi...> - 2011-11-24 09:35

Branch: refs/heads/master
  Home:   https://github.com/mn200/HOL

  Commit: decc598711433fb9871e1391ade736fd126a1360
      https://github.com/mn200/HOL/commit/decc598711433fb9871e1391ade736fd126a1360
  Author: Michael Norrish <michael.norrish@...>
  Date:   2011-11-24 (Thu, 24 Nov 2011)

  Changed paths:
    M INSTALL

  Log Message:
  -----------
  Update INSTALL with link to github issues page (not S/F).  Closes #46.

Thanks to Tjark for the bug report.

[Hol-checkins] [mn200/HOL] decc59: Update INSTALL with link to github issues page (no...

From: <noreply@gi...> - 2011-12-02 22:24

Branch: refs/heads/HOL-Omega
  Home:   https://github.com/mn200/HOL

  Commit: decc598711433fb9871e1391ade736fd126a1360
      https://github.com/mn200/HOL/commit/decc598711433fb9871e1391ade736fd126a1360
  Author: Michael Norrish <michael.norrish@...>
  Date:   2011-11-24 (Thu, 24 Nov 2011)

  Changed paths:
    M INSTALL

  Log Message:
  -----------
  Update INSTALL with link to github issues page (not S/F).  Closes #46.

Thanks to Tjark for the bug report.


  Commit: f70f02d512b961f900e6c08f73ea9f2886195bc8
      https://github.com/mn200/HOL/commit/f70f02d512b961f900e6c08f73ea9f2886195bc8
  Author: Tjark Weber <tw333@...>
  Date:   2011-11-24 (Thu, 24 Nov 2011)

  Changed paths:
    M src/HolQbf/HolQbfLib.sig
  M src/HolQbf/HolQbfLib.sml
  M src/HolQbf/selftest.sml

  Log Message:
  -----------
  Renamed decide -> decide_prenex, decide_any -> decide.


  Commit: 659e956486f19af43dbdcac940debe3f520a6c3f
      https://github.com/mn200/HOL/commit/659e956486f19af43dbdcac940debe3f520a6c3f
  Author: Michael Norrish <Michael.Norrish@...>
  Date:   2011-11-24 (Thu, 24 Nov 2011)

  Changed paths:
    R Manual/Guide/READ-ME
  A Manual/Guide/README
  R Manual/LaTeX/READ-ME
  A Manual/LaTeX/README
  R Manual/Quick/READ-ME
  A Manual/Quick/README
  R Manual/READ-ME
  A Manual/README
  R Manual/Reference/READ-ME
  A Manual/Reference/README
  R Manual/Tutorial/READ-ME
  A Manual/Tutorial/README
  R examples/PSL/1.01/executable-semantics/Holmake.README
  A examples/PSL/1.01/executable-semantics/README
  R examples/PSL/1.01/parser/Holmake.README
  A examples/PSL/1.01/parser/README
  R examples/acl2/examples/M1/READ-ME
  A examples/acl2/examples/M1/README
  R examples/acl2/examples/acl2-hol-ltl-paper-example/READ-ME
  A examples/acl2/examples/acl2-hol-ltl-paper-example/README
  A examples/bmark/README
  R examples/bmark/Readme
  A examples/opsemTools/java2opsem/README
  R examples/opsemTools/java2opsem/README.txt
  A examples/opsemTools/java2opsem/testFiles/javaFilesKO/README
  R examples/opsemTools/java2opsem/testFiles/javaFilesKO/readme.txt
  A examples/opsemTools/verify/solvers/constraintSolver/xmlterm2csp/README
  A examples/opsemTools/verify/solvers/constraintSolver/xmlterm2csp/java/classes/exception/README
  R examples/opsemTools/verify/solvers/constraintSolver/xmlterm2csp/java/classes/exception/readme.txt
  A examples/opsemTools/verify/solvers/constraintSolver/xmlterm2csp/java/classes/expression/README
  R examples/opsemTools/verify/solvers/constraintSolver/xmlterm2csp/java/classes/expression/readme.txt
  A examples/opsemTools/verify/solvers/constraintSolver/xmlterm2csp/java/classes/solvers/README
  R examples/opsemTools/verify/solvers/constraintSolver/xmlterm2csp/java/classes/solvers/readme.txt
  A examples/opsemTools/verify/solvers/constraintSolver/xmlterm2csp/java/classes/validation/README
  R examples/opsemTools/verify/solvers/constraintSolver/xmlterm2csp/java/classes/validation/readme.txt
  A examples/opsemTools/verify/solvers/constraintSolver/xmlterm2csp/java/classes/validation/solution/README
  R examples/opsemTools/verify/solvers/constraintSolver/xmlterm2csp/java/classes/validation/solution/readme.txt
  A examples/opsemTools/verify/solvers/constraintSolver/xmlterm2csp/java/classes/validation/system/README
  R examples/opsemTools/verify/solvers/constraintSolver/xmlterm2csp/java/classes/validation/system/readme.txt
  A examples/opsemTools/verify/solvers/constraintSolver/xmlterm2csp/java/classes/validation/util/README
  R examples/opsemTools/verify/solvers/constraintSolver/xmlterm2csp/java/classes/validation/util/readme.txt
  A examples/opsemTools/verify/solvers/constraintSolver/xmlterm2csp/java/classes/validation/variables/README
  R examples/opsemTools/verify/solvers/constraintSolver/xmlterm2csp/java/classes/validation/variables/readme.txt
  A examples/opsemTools/verify/solvers/constraintSolver/xmlterm2csp/java/classes/validation/visitor/README
  R examples/opsemTools/verify/solvers/constraintSolver/xmlterm2csp/java/classes/validation/visitor/readme.txt
  A examples/opsemTools/verify/solvers/constraintSolver/xmlterm2csp/java/src/exception/README
  R examples/opsemTools/verify/solvers/constraintSolver/xmlterm2csp/java/src/exception/readme.txt
  A examples/opsemTools/verify/solvers/constraintSolver/xmlterm2csp/java/src/expression/README
  R examples/opsemTools/verify/solvers/constraintSolver/xmlterm2csp/java/src/expression/readme.txt
  A examples/opsemTools/verify/solvers/constraintSolver/xmlterm2csp/java/src/solvers/README
  R examples/opsemTools/verify/solvers/constraintSolver/xmlterm2csp/java/src/solvers/readme.txt
  A examples/opsemTools/verify/solvers/constraintSolver/xmlterm2csp/java/src/validation/README
  R examples/opsemTools/verify/solvers/constraintSolver/xmlterm2csp/java/src/validation/readme.txt
  A examples/opsemTools/verify/solvers/constraintSolver/xmlterm2csp/java/src/validation/solution/README
  R examples/opsemTools/verify/solvers/constraintSolver/xmlterm2csp/java/src/validation/solution/readme.txt
  A examples/opsemTools/verify/solvers/constraintSolver/xmlterm2csp/java/src/validation/system/README
  R examples/opsemTools/verify/solvers/constraintSolver/xmlterm2csp/java/src/validation/system/readme.txt
  A examples/opsemTools/verify/solvers/constraintSolver/xmlterm2csp/java/src/validation/util/README
  R examples/opsemTools/verify/solvers/constraintSolver/xmlterm2csp/java/src/validation/util/readme.txt
  A examples/opsemTools/verify/solvers/constraintSolver/xmlterm2csp/java/src/validation/variables/README
  R examples/opsemTools/verify/solvers/constraintSolver/xmlterm2csp/java/src/validation/variables/readme.txt
  A examples/opsemTools/verify/solvers/constraintSolver/xmlterm2csp/java/src/validation/visitor/README
  R examples/opsemTools/verify/solvers/constraintSolver/xmlterm2csp/java/src/validation/visitor/readme.txt
  R examples/opsemTools/verify/solvers/constraintSolver/xmlterm2csp/readme.txt
  R examples/zfset/READ-ME
  A examples/zfset/README
  R src/IndDef/Manual/READ-ME
  A src/IndDef/Manual/README
  R src/IndDef/READ-ME
  A src/IndDef/README
  R src/meson/READ-ME
  A src/meson/README
  R src/option/READ-ME
  A src/option/README
  R src/pred_set/READ-ME
  A src/pred_set/README
  R src/refute/READ-ME
  A src/refute/README
  R src/simp/READ-ME
  A src/simp/README
  R src/string/READ-ME
  A src/string/README
  R src/unwind/READ-ME
  A src/unwind/README

  Log Message:
  -----------
  Canonicalise some variants of README filenames.  Closes #47.


  Commit: 775be11f43669d9e2d94a94ef20c112815d25f93
      https://github.com/mn200/HOL/commit/775be11f43669d9e2d94a94ef20c112815d25f93
  Author: Ramana Kumar <ramana.kumar@...>
  Date:   2011-11-29 (Tue, 29 Nov 2011)

  Changed paths:
    M Manual/Description/HolQbf.tex

  Log Message:
  -----------
  Update HolQbf section of Description manual. Closes #48.

- give details of 2nd publication
- describe new interface (decide_prenex and decide, replacing decide)
- update sample interaction
- update description of supported subset of HOL
- remove first item from wishlist


  Commit: 656c705100e72511bb6fe4d735eb2422dd9c4919
      https://github.com/mn200/HOL/commit/656c705100e72511bb6fe4d735eb2422dd9c4919
  Author: Peter Homeier <palantir@...>
  Date:   2011-12-02 (Fri, 02 Dec 2011)

  Changed paths:
    M INSTALL
  M Manual/Description/HolQbf.tex
  R Manual/Guide/READ-ME
  A Manual/Guide/README
  R Manual/LaTeX/READ-ME
  A Manual/LaTeX/README
  R Manual/Quick/READ-ME
  A Manual/Quick/README
  R Manual/READ-ME
  A Manual/README
  R Manual/Reference/READ-ME
  A Manual/Reference/README
  R Manual/Tutorial/READ-ME
  A Manual/Tutorial/README
  R examples/PSL/1.01/executable-semantics/Holmake.README
  A examples/PSL/1.01/executable-semantics/README
  R examples/PSL/1.01/parser/Holmake.README
  A examples/PSL/1.01/parser/README
  R examples/acl2/examples/M1/READ-ME
  A examples/acl2/examples/M1/README
  R examples/acl2/examples/acl2-hol-ltl-paper-example/READ-ME
  A examples/acl2/examples/acl2-hol-ltl-paper-example/README
  A examples/bmark/README
  R examples/bmark/Readme
  A examples/opsemTools/java2opsem/README
  R examples/opsemTools/java2opsem/README.txt
  A examples/opsemTools/java2opsem/testFiles/javaFilesKO/README
  R examples/opsemTools/java2opsem/testFiles/javaFilesKO/readme.txt
  A examples/opsemTools/verify/solvers/constraintSolver/xmlterm2csp/README
  A examples/opsemTools/verify/solvers/constraintSolver/xmlterm2csp/java/classes/exception/README
  R examples/opsemTools/verify/solvers/constraintSolver/xmlterm2csp/java/classes/exception/readme.txt
  A examples/opsemTools/verify/solvers/constraintSolver/xmlterm2csp/java/classes/expression/README
  R examples/opsemTools/verify/solvers/constraintSolver/xmlterm2csp/java/classes/expression/readme.txt
  A examples/opsemTools/verify/solvers/constraintSolver/xmlterm2csp/java/classes/solvers/README
  R examples/opsemTools/verify/solvers/constraintSolver/xmlterm2csp/java/classes/solvers/readme.txt
  A examples/opsemTools/verify/solvers/constraintSolver/xmlterm2csp/java/classes/validation/README
  R examples/opsemTools/verify/solvers/constraintSolver/xmlterm2csp/java/classes/validation/readme.txt
  A examples/opsemTools/verify/solvers/constraintSolver/xmlterm2csp/java/classes/validation/solution/README
  R examples/opsemTools/verify/solvers/constraintSolver/xmlterm2csp/java/classes/validation/solution/readme.txt
  A examples/opsemTools/verify/solvers/constraintSolver/xmlterm2csp/java/classes/validation/system/README
  R examples/opsemTools/verify/solvers/constraintSolver/xmlterm2csp/java/classes/validation/system/readme.txt
  A examples/opsemTools/verify/solvers/constraintSolver/xmlterm2csp/java/classes/validation/util/README
  R examples/opsemTools/verify/solvers/constraintSolver/xmlterm2csp/java/classes/validation/util/readme.txt
  A examples/opsemTools/verify/solvers/constraintSolver/xmlterm2csp/java/classes/validation/variables/README
  R examples/opsemTools/verify/solvers/constraintSolver/xmlterm2csp/java/classes/validation/variables/readme.txt
  A examples/opsemTools/verify/solvers/constraintSolver/xmlterm2csp/java/classes/validation/visitor/README
  R examples/opsemTools/verify/solvers/constraintSolver/xmlterm2csp/java/classes/validation/visitor/readme.txt
  A examples/opsemTools/verify/solvers/constraintSolver/xmlterm2csp/java/src/exception/README
  R examples/opsemTools/verify/solvers/constraintSolver/xmlterm2csp/java/src/exception/readme.txt
  A examples/opsemTools/verify/solvers/constraintSolver/xmlterm2csp/java/src/expression/README
  R examples/opsemTools/verify/solvers/constraintSolver/xmlterm2csp/java/src/expression/readme.txt
  A examples/opsemTools/verify/solvers/constraintSolver/xmlterm2csp/java/src/solvers/README
  R examples/opsemTools/verify/solvers/constraintSolver/xmlterm2csp/java/src/solvers/readme.txt
  A examples/opsemTools/verify/solvers/constraintSolver/xmlterm2csp/java/src/validation/README
  R examples/opsemTools/verify/solvers/constraintSolver/xmlterm2csp/java/src/validation/readme.txt
  A examples/opsemTools/verify/solvers/constraintSolver/xmlterm2csp/java/src/validation/solution/README
  R examples/opsemTools/verify/solvers/constraintSolver/xmlterm2csp/java/src/validation/solution/readme.txt
  A examples/opsemTools/verify/solvers/constraintSolver/xmlterm2csp/java/src/validation/system/README
  R examples/opsemTools/verify/solvers/constraintSolver/xmlterm2csp/java/src/validation/system/readme.txt
  A examples/opsemTools/verify/solvers/constraintSolver/xmlterm2csp/java/src/validation/util/README
  R examples/opsemTools/verify/solvers/constraintSolver/xmlterm2csp/java/src/validation/util/readme.txt
  A examples/opsemTools/verify/solvers/constraintSolver/xmlterm2csp/java/src/validation/variables/README
  R examples/opsemTools/verify/solvers/constraintSolver/xmlterm2csp/java/src/validation/variables/readme.txt
  A examples/opsemTools/verify/solvers/constraintSolver/xmlterm2csp/java/src/validation/visitor/README
  R examples/opsemTools/verify/solvers/constraintSolver/xmlterm2csp/java/src/validation/visitor/readme.txt
  R examples/opsemTools/verify/solvers/constraintSolver/xmlterm2csp/readme.txt
  R examples/zfset/READ-ME
  A examples/zfset/README
  M src/HolQbf/HolQbfLib.sig
  M src/HolQbf/HolQbfLib.sml
  M src/HolQbf/selftest.sml
  R src/IndDef/Manual/READ-ME
  A src/IndDef/Manual/README
  R src/IndDef/READ-ME
  A src/IndDef/README
  R src/meson/READ-ME
  A src/meson/README
  R src/option/READ-ME
  A src/option/README
  R src/pred_set/READ-ME
  A src/pred_set/README
  R src/refute/READ-ME
  A src/refute/README
  R src/simp/READ-ME
  A src/simp/README
  R src/string/READ-ME
  A src/string/README
  R src/unwind/READ-ME
  A src/unwind/README

  Log Message:
  -----------
  Merge commit '775be11' into HOL-Omega


Compare: https://github.com/mn200/HOL/compare/4d83c73...656c705