| Sat, 20 May 2023 14:12:01 +0200 |
wenzelm |
omit pointless morphism in global theory;
|
changeset |
files
|
| Sat, 20 May 2023 12:04:41 +0200 |
wenzelm |
more operations;
|
changeset |
files
|
| Fri, 19 May 2023 22:09:06 +0200 |
wenzelm |
more careful treatment of context for method source;
|
changeset |
files
|
| Fri, 19 May 2023 21:48:11 +0200 |
wenzelm |
clarified context;
|
changeset |
files
|
| Fri, 19 May 2023 21:22:39 +0200 |
wenzelm |
clarified signature;
|
changeset |
files
|
| Fri, 19 May 2023 11:42:12 +0200 |
wenzelm |
remove pointless context setup (see also b2e449c155a4);
|
changeset |
files
|
| Fri, 19 May 2023 11:41:30 +0200 |
wenzelm |
more careful reset_context for stored entity;
|
changeset |
files
|
| Thu, 18 May 2023 23:50:59 +0200 |
wenzelm |
more careful reset/set_context for stored declarations;
|
changeset |
files
|
| Thu, 18 May 2023 23:21:05 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
| Thu, 18 May 2023 23:20:41 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
| Thu, 18 May 2023 17:21:29 +0200 |
wenzelm |
clarified signature: more explicit types;
|
changeset |
files
|
| Thu, 18 May 2023 15:34:01 +0200 |
wenzelm |
clarified data: avoid pointless Morphism.transform;
|
changeset |
files
|
| Thu, 18 May 2023 14:06:35 +0200 |
wenzelm |
proper Token.Declaration for internal_declaration;
|
changeset |
files
|
| Tue, 16 May 2023 20:26:09 +0200 |
wenzelm |
more standard treatment of morphism context;
|
changeset |
files
|
| Tue, 16 May 2023 19:52:50 +0200 |
wenzelm |
tuned: avoid duplication;
|
changeset |
files
|
| Tue, 16 May 2023 19:43:42 +0200 |
wenzelm |
more standard treatment of morphism context, but hardly relevant here;
|
changeset |
files
|