Timeline for Syntax highlighting for proof assistants
Current License: CC BY-SA 4.0
14 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Mar 28, 2022 at 15:45 | history | edited | V2BlastStaff |
edited tags
|
|
| Mar 22, 2022 at 13:57 | comment | added | Eric | I made a new question with the appropriate tags at Enabling syntax highlighting of Lean and Coq, along with some history demonstrating we wouldn't be the first SE to request a custom language be enabled. | |
| Mar 17, 2022 at 23:02 | comment | added | Eric | SE has to opt-in for every non-default HLJS language, and it's not clear from the meta.SE post whether they are willing to do that per-site or only network-wide. | |
| Mar 17, 2022 at 22:37 | comment | added | Nike Dattani | But SE is not responsibe for maintaining highlight.js. | |
| Mar 17, 2022 at 17:12 | comment | added | Eric | Contrary to your comment the accepted answer, this does require "development work" or at least deliberate action by a member of the stack exchange staff, so I think feature-request is probably the right tag. | |
| Mar 17, 2022 at 14:56 | comment | added | Nike Dattani | @Eric see the edit history. | |
| Mar 17, 2022 at 14:51 | comment | added | Eric | Perhaps this should be retagged as [feature request], @Nike Dattani? | |
| Mar 17, 2022 at 12:46 | comment | added | Eric | It would be great if a staff member could weigh in on what the policy is for syntax highlighting on Area51 sites. | |
| Feb 8, 2022 at 19:50 | history | became hot meta post | |||
| Feb 8, 2022 at 19:38 | answer | added | Tyberius | timeline score: 7 | |
| Feb 8, 2022 at 19:03 | history | edited | Nike Dattani |
edited tags
|
|
| Feb 8, 2022 at 19:00 | vote | accept | Nike Dattani | ||
| Feb 8, 2022 at 18:58 | answer | added | TreborMod | timeline score: 9 | |
| Feb 8, 2022 at 18:30 | history | asked | Nike Dattani | CC BY-SA 4.0 |