codebase:pluscal

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

codebase:pluscal [2024/09/28 15:58] – created - external edit 127.0.0.1codebase:pluscal [2024/09/28 22:54] (current) – [Changing the pluscal translator] fponzi
Line 9: Line 9:
 For this reason, the pluscal translator is versioned. Any change to the pluscal traslator that could result in a different output, will required a verison bump. For this reason, the pluscal translator is versioned. Any change to the pluscal traslator that could result in a different output, will required a verison bump.
  
-See as an example: https:%%//%%github.com/tlaplus/tlaplus/pull/978/files+See as an example: https://github.com/tlaplus/tlaplus/pull/978/files
  
  • codebase/pluscal.1727539096.txt.gz
  • Last modified: 2024/09/28 15:58
  • by 127.0.0.1