Opened 15 years ago
Last modified 11 years ago
#260 new defect
Path names with spaces are not decoded property on search path
| Reported by: | David Aspinall | Owned by: | David Aspinall |
|---|---|---|---|
| Priority: | minor | Milestone: | |
| Component: | 4:prover-isabelle | Keywords: | |
| Cc: |
Description (last modified by )
Path names with spaces are not decoded property on search path. See multiple file scripting example in directory called "Open%20Bugs".
Change History (2)
comment:1 Changed 15 years ago by
| Component: | 1:pg-eclipse → 4:prover-isabelle |
|---|---|
| Description: | modified (diff) |
| Milestone: | PG-Eclipse-1.0.6 → PG-Eclipse-1.1.0 |
| Priority: | major → minor |
| Type: | → defect |
Note: See
TracTickets for help on using
tickets.
This is the fault of Isabelle's =url.ML= which does not do any decoding.