leanprover / verso

Lean documentation authoring tool
Apache License 2.0
125 stars 14 forks source link

Nested lists shouldn't require non-list content #225

Open david-christiansen opened 2 weeks ago

david-christiansen commented 2 weeks ago

This works:

 * a
   * A
   * B
 * a
   * C
   * D

But this does not and should:

 * 
   * A
   * B
 * 
   * C
   * D