Bugs: Difference between revisions
Reduce scope of custom HTML to just the JIRA bug report link (where it's actually needed) |
No edit summary |
||
| Line 1: | Line 1: | ||
Note: we | Note: we have migrated our issues to the [https://github.com/hhu-stups/prob-issues/issues prob-issues] github project. | ||
Use this [https://github.com/hhu-stups/prob-issues/issues/new link to add a new issue]. | Use this [https://github.com/hhu-stups/prob-issues/issues/new link to add a new issue]. | ||
If you want | Typically it is helpful for us to know as much information as possible about your environment: | ||
* the operating system you are using (Windows, macOS, Linux) and which version thereof | |||
* which version of ProB you are using, which can be obtained as follows | |||
** for probcli you can use the command: <tt>probcli -version -v</tt> | |||
** in ProB Tcl/Tk you can use the "About ProB" menu command | |||
== Old Bug Tracker == | |||
If you want, you can also use our old bug tracker to submit a report | |||
<html> | <html> | ||
<a id="myCustomTrigger">Jira bug tracker</a> | <a id="myCustomTrigger">Jira bug tracker</a> | ||
Revision as of 11:00, 17 June 2025
Note: we have migrated our issues to the prob-issues github project. Use this link to add a new issue.
Typically it is helpful for us to know as much information as possible about your environment:
- the operating system you are using (Windows, macOS, Linux) and which version thereof
- which version of ProB you are using, which can be obtained as follows
- for probcli you can use the command: probcli -version -v
- in ProB Tcl/Tk you can use the "About ProB" menu command
Old Bug Tracker
If you want, you can also use our old bug tracker to submit a report Jira bug tracker (in case this link does not work in your browser you can go directly to https://probjira.atlassian.net/secure/Dashboard.jspa) You may also want to ask questions within our prob-users group.
We use a free Open Source license from Atlassian!
