sail/lib/isabelle/.gitignore, branch sail2 Formal specification language for ISAs Update a few prover gitignores 2018-08-02T17:16:55+00:00 Brian Campbell 2018-08-02T10:52:04+00:00 5980711d118ad6d0c28644be605447c3dc82be64 






Update gitignore
2018-07-09T13:47:53+00:00

Thomas Bauereiss

2018-07-09T12:53:19+00:00

d829021b5f64d3c6b4ad39c69a5f36475d8e7071












Add a few more generated file to gitignore
2018-04-13T14:18:21+00:00

Brian Campbell

2018-04-13T14:18:21+00:00

4cabe141fc5f89627fcb44f6c90b24daedc70c89