| #
a424d55e |
|
09-Mar-2020 |
Gerwin Klein <gerwin.klein@data61.csiro.au> |
licenses: convert license tags to SPDX
|
| #
c34840d0 |
|
05-Jun-2019 |
Gerwin Klein <gerwin.klein@data61.csiro.au> |
global: isabelle update_cartouches
|
| #
41316f1c |
|
20-Jun-2018 |
Gerwin Klein <gerwin.klein@data61.csiro.au> |
Isabelle2018 lib: remove evaluator parameter for value_abbreviation
Unused and the name information you'd need is not visible in Isabelle2018 any more.
|
| #
4eedad84 |
|
11-Oct-2017 |
Thomas Sewell <Thomas.Sewell@data61.csiro.au> |
Add command/keyword 'value_abbreviation'.
This computes a value (like the existing value keyword) and also saves
the result of that computation as an abbreviation.
This will be useful in CRefine etc to give names to magic numbers that
derive from configuration variables/constants.
|