| #
ed7a971e |
|
05-Jan-2019 |
wenzelm <none@none> |
isabelle update -u control_cartouches;
|
| #
3347ed1a |
|
03-Nov-2017 |
wenzelm <none@none> |
less global theories -- avoid confusion about special cases;
|
| #
17bc899d |
|
18-Aug-2017 |
wenzelm <none@none> |
session-qualified theory imports: isabelle imports -U -i -d '~~/src/Benchmarks' -a;
|
| #
66281660 |
|
26-May-2016 |
wenzelm <none@none> |
isabelle update_cartouches -c -t;
|
| #
5dc803d8 |
|
13-Apr-2016 |
wenzelm <none@none> |
eliminated "xname" and variants;
|
| #
a352ac5a |
|
09-Sep-2015 |
wenzelm <none@none> |
eliminated \<Colon> from syntax of constraints;
|
| #
2ffad863 |
|
06-Apr-2015 |
wenzelm <none@none> |
tuned;
|
| #
ceaee95a |
|
01-Sep-2014 |
blanchet <none@none> |
ported to use new-style datatypes
* * *
compile
|
| #
cb851030 |
|
30-Apr-2014 |
berghofe <none@none> |
Discontinued old spark_open; spark_open_siv is now spark_open
|
| #
97f625f6 |
|
29-Jun-2012 |
berghofe <none@none> |
Documented "incomplete" option of spark_end
|
| #
3af5e1d2 |
|
28-Feb-2012 |
berghofe <none@none> |
Added infrastructure for mapping SPARK field / constructor names
to Isabelle types
|
| #
42948201 |
|
22-Sep-2011 |
berghofe <none@none> |
Added documentation for HOL-SPARK
|