diff options
| author | Pierre-Marie Pédrot | 2020-11-22 16:03:23 +0100 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2020-11-30 18:46:50 +0100 |
| commit | 3ae0e24c7c6501abfb32e1cc11ac7c9eac379afe (patch) | |
| tree | f9c76d15a0325718fd26242551de1c29274601ee /kernel/nativecode.ml | |
| parent | bf111baffe75ebc1fc57aeb163e56a344d0632b8 (diff) | |
Adding a changelog for Ltac1.lambda.
Diffstat (limited to 'kernel/nativecode.ml')
0 files changed, 0 insertions, 0 deletions