Add "creation and last modified" footer to specs

tlaplus / vscode-tlaplus

TLA+ language support for Visual Studio Code

MIT License

357 stars 33 forks source link

Add "creation and last modified" footer to specs #246

Open lemmy opened 2 years ago

lemmy commented 2 years ago

The Toolbox automatically adds a footer to every spec that shows the original author and creation date and all modifications by other authors.

Toolbox implementation: https://github.com/tlaplus/tlaplus/blob/df144c5f0e93b996362a199afa43cf453f4c2856/toolbox/org.lamport.tla.toolbox.editor.basic/src/org/lamport/tla/toolbox/editor/basic/TLAEditor.java#L551-L640

ahelwer commented 2 years ago

Don't think this is very useful in the era of ubiquitous automated version control systems.

lemmy commented 2 years ago

This feature is for those who have seen SCMs come and go or who have experienced specs being moved around; others can turn it off (like it is possible in the Toolbox).