Audrey

Results 7 issues of Audrey

If my cursor is on the same line as a shebang like below: ```bash #!/bin/bash # Code below... ``` Then pressing enter will result in this: ```bash #!/bin/bash #!/ #...

enhancement
good first issue
help wanted

One of the formats listed in `self.formats` is `dia` ([code](https://github.com/pydot/pydot/blob/90936e75462c7b0e4bb16d97c1ae7efdf04e895c/src/pydot/core.py#L1553)), however, when I tried to use this format, such as in `dot.write("my/path", format="dia")`, I got the following error: ``` "dot"...

The java build file analyzer for ant fails with a null pointer exception when there is no junit task found in the build file. For example: ``` 31: commons-io Checking...

enhancement
bug-mining

Mutual induction schemes are not indented properly. Multiple `with` additions are indented like so: ``` Scheme a_mut := Induction for a Sort Prop with b_mut := Induction for b Sort...

In `API_OVERVIEW.md`, the description of the `effect` parameter to `causes` is `effect: tisane.variable.AbstractVariable -- the cause data variable`. Is `effect` not supposed to be the the result of the cause-ing...

documentation

It wasn't clear to me from the [current documentation](https://dune.readthedocs.io/en/stable/coq.html#coq-documentation) that coqdoc-generated files would be in `_build/default//./`. I have a project with ocaml files too, which means a `_build/default/_doc` folder is...

coq