Ismael Figueroa

Thanks for this great project! It seems it is not possible to add new action buttons at the same level as "Export" or "Print". I would like to have this...

Cannot find source file for library when using Coq Compile Before Require in Windows

6

Perhaps this is a very uncommon situation, I just installed Coq 8.6 using the Windows installer, and I also installed ProofGeneral from this repository... The issue is that when using...

Sections with @s vs headers with #

1

Is there a reason for `@s` generating headers exclusively with ``? As far as I get from the documentation, the only way to have proper (but unnumbered) subsections is using...

Native "raw" @include

1

Hi, I'd like to customize the HTML output a bit, using jQuery-UI. I'm trying to add the following to a file: ``` $( function() { $( document ).tooltip(); } );...

Error when file name contains dashes.

2

I got the following exception trace when doing: ``` ./querycsv.py -i injectorLog-23894-eager.csv -o failures-23894-eager.log "SELECT * FROM injectorLog-23894-eager WHERE status == \\"FAILURE\\"" ``` ``` Traceback (most recent call last): File...

Add sorting by external list of IDs in products query

2

### What I'm trying to achieve We are working with an external Elastic Search engine, which when queried yields a list of saleor products ids, sorted by the search engine...

Login only with email not working

4

I'm trying to enable our users to login either with their username or email, but not both. I followed #126 and the username-only login works fine, but the email-only login...

customInput with IonInput (Ionic Framework) not triggering onChange nor onValueChange events

1

As per the title, `customInput` with `IonInput` (Ionic Framework) not triggering `onChange` nor `onValueChange` events. I suppose this is because `IonInput `has the `ionChange `event rather than plain "`change`". Is...

Nested property definitions

3

I have a simple macro that allows one to define the following: ``` (define arbitrary-int-char-list-same-length (property* ([n arbitrary-natural] [int-list (choose-list (arbitrary-generator arbitrary-integer) n)] [char-list (choose-list (arbitrary-generator arbitrary-char) n)]) (display n)(newline)...

For instance, `(quickcheck (property ([int-list (choose-list arbitrary-integer 10)]) (= 1 1)))` fails because `arbitrary-integer` is not a generator, but it is trivially converted to one using `coerce->generator`. The exact error...