#
e1532314 |
|
09-Dec-2019 |
wenzelm <none@none> |
clarified signature: store full theory name;
|
#
b06d33d9 |
|
06-Aug-2019 |
wenzelm <none@none> |
backed out changeset 1b8858f4c393: odd problems e.g. in CAVA_LTL_Modelchecker;
|
#
86be8a71 |
|
05-Aug-2019 |
wenzelm <none@none> |
clarified modules: more direct data implementation;
|
#
aede6033 |
|
02-Aug-2019 |
wenzelm <none@none> |
clarified modules: inference kernel maintains sort algebra within the logic;
|
#
b7f1a757 |
|
02-May-2014 |
haftmann <none@none> |
enforce case of identifiers only to accomodate strict language requirements (or clear separation of constructors from variables in the case of SML)
|
#
9e3bb39c |
|
01-May-2014 |
haftmann <none@none> |
optional case enforcement --HG-- extra : rebase_source : 9cdeaf7fca2e9c8512cef2a7a8af271ea0daed50
|
#
d6a25704 |
|
01-May-2014 |
haftmann <none@none> |
obsolete: no symbol identifiers remaining in Pure --HG-- extra : rebase_source : 7e0802901505ccd175d8ae906c91bdd1b0230a24
|
#
2c8d6176 |
|
21-Mar-2014 |
wenzelm <none@none> |
more qualified names;
|
#
b69fbd39 |
|
03-Feb-2014 |
wenzelm <none@none> |
more formal markup;
|
#
07ad0bb4 |
|
25-Jan-2014 |
haftmann <none@none> |
less clumsy namespace
|
#
a01d18e2 |
|
25-Jan-2014 |
haftmann <none@none> |
immediate "activation" of const syntax at declaration time
|
#
9250249f |
|
25-Jan-2014 |
haftmann <none@none> |
prefer explicit code symbol type over ad-hoc name mangling
|
#
bb8b18e9 |
|
19-Jan-2014 |
haftmann <none@none> |
table for code symbols
|
#
060ed149 |
|
11-Jan-2014 |
haftmann <none@none> |
provide default name in splitted representation
|
#
169a5a1e |
|
06-Jan-2014 |
haftmann <none@none> |
order and graph for code symbols
|
#
a816b494 |
|
30-May-2013 |
wenzelm <none@none> |
tuned headers;
|
#
8efa9794 |
|
24-May-2013 |
haftmann <none@none> |
bookkeeping and input syntax for exact specification of names of symbols in generated code --HG-- extra : rebase_source : 60e91890f26f4c44ec2fa3a5be594fa7f2c1bdd0
|
#
d911d041 |
|
24-May-2013 |
haftmann <none@none> |
dedicated module for code symbol data --HG-- extra : rebase_source : a5a8e688ff816f29b226f279f8ed209227f7cd54
|