Paul Wintz

In reference to version 224734d7be7ff0c4a8adb3a206356ea122112f33 There is a typo on the first page of Chapter 1. It reads, "In Section 1.3, you will see hnow to express all so..."

Missing image in documentation?

2

It looks like there is a missing image on the documentation page for [dReach ](http://dreal.github.io/dReach/). 

Is it possible to specify the order in which new cards are introduced within a collaborative deck?

38

Is it possible when using Ki to set the order that cards are introduced? It would be nice to be able to collaboratively design a deck that has a logical...

Include path settings don't trim white space

5

Type: Bug I have files I want C++ to include in the directory /usr/local/include. When I added "/usr/local/include " (with a space at the end) to the "Include path" configuration...

`elan self update` fails with error `could not create link`

2

When I run `elan self update`, the following error occurs: ``` $ elan self update ←[1minfo: ←[0mchecking for self-updates ←[31m←[1merror: ←[0mcould not create link from 'C:\Users\pwintz\.elan\bin\elan.exe' to 'C:\Users\pwintz\.elan\bin\lake.exe' ``` Any...

Should a negative cost ever occur?

1

I'm running into a surprising case where the cost is sometimes evaluated to be negative if the optimization algorithm fails to converge to a solution. Is this expected? ``` [MPC++]...

Misspelled function name in documentation: `setContinuosTimeModel` should be `setContinuousTimeModel`

1

https://altairlab.gitlab.io/optcontrol/libmpc/api/api.html#_CPPv4N3mpc5NLMPC21setContinuosTimeModelEKd

Automatically locate Anki collection

6

Since we know where the Anki collection files are located on each OS, it would be great to have `ki clone` automatically locate the collection files and clone from a...

Local Changes are being Overridden By Remote Versions of Files

14

### Describe the bug I am using Overlead-Workshop by opening a project locally. When I make changes to the local file and save, this alert pops up in the bottom-right...