File tree Expand file tree Collapse file tree 2 files changed +12
-12
lines changed Expand file tree Collapse file tree 2 files changed +12
-12
lines changed Original file line number Diff line number Diff line change @@ -344,12 +344,12 @@ end
344
344
345
345
(** {%html:<p>Raw markup</p>%} {%Without language%} {%other:Other language%} *)
346
346
347
- (** [Multi
348
- Line]
347
+ (** [Multi Line]
349
348
350
- [ A lot of spaces ]
349
+ [A lot of spaces]
351
350
352
- [Very looooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooong] *)
351
+ [Very
352
+ looooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooong] *)
353
353
354
354
(** {[
355
355
for i = 1 to 3 do
411
411
(** This is a comment with code inside
412
412
413
413
{[
414
- (** This is a comment with code inside [ let code inside = f inside ] *)
414
+ (** This is a comment with code inside [let code inside = f inside] *)
415
415
let code inside (* comment *) = f inside
416
416
]} *)
417
417
@@ -496,7 +496,7 @@ val k : int
496
496
497
497
(** *)
498
498
499
- (** [trim " "] is [""] *)
499
+ (** [trim " "] is [""] *)
500
500
501
501
(** [trms (c × (Σᵢ₌₁ⁿ cᵢ × Πⱼ₌₁ᵐᵢ Xᵢⱼ^pᵢⱼ))] is the sequence of terms [Xᵢⱼ]
502
502
for each [i] and [j]. *)
Original file line number Diff line number Diff line change @@ -344,12 +344,12 @@ end
344
344
345
345
(** {%html:<p>Raw markup</p>%} {%Without language%} {%other:Other language%} *)
346
346
347
- (** [Multi
348
- Line]
347
+ (** [Multi Line]
349
348
350
- [ A lot of spaces ]
349
+ [A lot of spaces]
351
350
352
- [Very looooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooong] *)
351
+ [Very
352
+ looooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooong] *)
353
353
354
354
(** {[
355
355
for i = 1 to 3 do
411
411
(** This is a comment with code inside
412
412
413
413
{[
414
- (** This is a comment with code inside [ let code inside = f inside ] *)
414
+ (** This is a comment with code inside [let code inside = f inside] *)
415
415
let code inside (* comment *) = f inside
416
416
]} *)
417
417
@@ -496,7 +496,7 @@ val k : int
496
496
497
497
(** *)
498
498
499
- (** [trim " "] is [""] *)
499
+ (** [trim " "] is [""] *)
500
500
501
501
(** [trms (c × (Σᵢ₌₁ⁿ cᵢ × Πⱼ₌₁ᵐᵢ Xᵢⱼ^pᵢⱼ))] is the sequence of terms [Xᵢⱼ]
502
502
for each [i] and [j]. *)
You can’t perform that action at this time.
0 commit comments