unexpected tactic nodes imported from library

[lyhlbyl]

when importing a graph which contains tactic node with the syntax sugar format, e.g.

?g := XXX
The imported nodes are then incorrect. An example can be found in the attached file.

hiddenCase.psgraph.zip

[plebras]

Just pushed a possible fix : i.e. disable tactic editor for tactics starting with '?'
@lyhlbyl if you 'recompile' hiddenCase, it should be ok I guess