diff options
| author | Thomas Bauereiss | 2018-07-09 13:53:19 +0100 |
|---|---|---|
| committer | Thomas Bauereiss | 2018-07-09 14:47:53 +0100 |
| commit | d829021b5f64d3c6b4ad39c69a5f36475d8e7071 (patch) | |
| tree | de5b43079c1fc145aee5b0e330535fba37dc779b /lib | |
| parent | 3334e0f9de700ed918e5f8c461f8cf08d23e7fd3 (diff) | |
Update gitignore
Diffstat (limited to 'lib')
| -rw-r--r-- | lib/isabelle/.gitignore | 26 |
1 files changed, 13 insertions, 13 deletions
diff --git a/lib/isabelle/.gitignore b/lib/isabelle/.gitignore index 0d595f3c..ed83cdc1 100644 --- a/lib/isabelle/.gitignore +++ b/lib/isabelle/.gitignore @@ -1,13 +1,13 @@ -PromptAuxiliary.thy -Prompt_monadAuxiliary.thy -Prompt_monad.thy -Prompt.thy -Sail_instr_kinds.thy -Sail_operators_bitlists.thy -Sail_operators_mwords.thy -Sail_operators.thy -Sail_valuesAuxiliary.thy -Sail_values.thy -StateAuxiliary.thy -State_monad.thy -State.thy +Sail2_promptAuxiliary.thy +Sail2_prompt_monadAuxiliary.thy +Sail2_prompt_monad.thy +Sail2_prompt.thy +Sail2_instr_kinds.thy +Sail2_operators_bitlists.thy +Sail2_operators_mwords.thy +Sail2_operators.thy +Sail2_valuesAuxiliary.thy +Sail2_values.thy +Sail2_stateAuxiliary.thy +Sail2_state_monad.thy +Sail2_state.thy |