Skip to content
Snippets Groups Projects
Select Git revision
0 results
Blame Permalink
  • hondet's avatar
    c59edfd6
    Remove 'specs' directory · c59edfd6
    hondet authored 
    Moved
- specs/tools/prelude to prelude,
- prelude patches to prelude/patches/
- the "simple" theory to tests/thy_translation/"
- scripts are moved to scripts/
    c59edfd6
    History
    Remove 'specs' directory
    hondet authored 
    Moved
- specs/tools/prelude to prelude,
- prelude patches to prelude/patches/
- the "simple" theory to tests/thy_translation/"
- scripts are moved to scripts/