#
4e15703a |
|
17-Jun-2019 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Fix examples/machine-code/garbage-collectors for tight equality
|
#
18934f7c |
|
03-Dec-2018 |
Johannes Åman Pohjola <johannes.amanpohjola@data61.csiro.au> |
Reconcile store_thms with diverging names in db and val binding
|
#
1ca74e6e |
|
12-Oct-2017 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Remove a stray occurrence of -- q -- as term-parser
|
#
4b9431d8 |
|
04-May-2017 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Finish fixing machine-code for new by build --selftest=3 now completes; I'm ready to merge into master.
|
#
caf04fc3 |
|
08-Aug-2016 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Build more machine-code example thys with pat_assum
|
#
4761143b |
|
10-Aug-2009 |
Tjark Weber <Tjark.Weber@cl.cam.ac.uk> |
Removed trailing whitespace from all .sml and .sig files. This affects over 900 files and was done using emacs's delete-trailing-whitespace function in batch mode. Building the system with Poly/ML and Moscow ML seems to work, so I'm hoping these changes don't break anything. Please complain if they do!
|
#
7c197d42 |
|
07-Jan-2009 |
Magnus Myreen <Magnus.Myreen@cl.cam.ac.uk> |
A new version of files previously in examples/mc-logic. Eventually examples/mc-logic will be deleted.
|