Skip to content
[Jenkins]Jenkins
log in

Changes

Summary

  1. Allocate MCP number for 'Ternary' (details)
  2. Allow .* as one element for import, due to maximum munch. (details)
  3. Remove trailing WS (details)
Commit 74b2680d0541c317c9f2c292c6de2965ece73be0 by noreply
Allocate MCP number for 'Ternary'
The file was modified RationaleMCP/ReadMe.md (diff)
Commit ccf318bea9dd033fde08374b8d68e490875ddffa by Hans.Olsson
Allow .* as one element for import, due to maximum munch.
Closes #2430
The file was modified chapters/syntax.tex (diff)
The file was modified MLS.tex (diff)

Summary

  1. Allocate MCP number for 'Ternary' (details)
  2. Allow .* as one element for import, due to maximum munch. (details)
  3. Remove trailing WS (details)
Commit 74b2680d0541c317c9f2c292c6de2965ece73be0 by noreply
Allocate MCP number for 'Ternary'
The file was modified RationaleMCP/ReadMe.md (diff)
Commit ccf318bea9dd033fde08374b8d68e490875ddffa by Hans.Olsson
Allow .* as one element for import, due to maximum munch.
Closes #2430
The file was modified chapters/syntax.tex (diff)
The file was modified MLS.tex (diff)