On 07/01/2017 09:21 PM, Makarius Wenzel wrote:
> On 01.07.17 20:46, Christian Sternagel wrote:
>>
>> It only took me some time to find the OUTPUT "panel" (View ~> Output) ;)
>
> That is a plain-text channel of VSCode.
Oh, okay.
>
> There is also a "State" panel that imitates the dockable of the
On 02/07/17 13:31, Christian Sternagel wrote:
> On 07/01/2017 09:21 PM, Makarius Wenzel wrote:
>> There is also a "State" panel that imitates the dockable of the same
>> name in Isabelle/jEdit. You will get to that via the "isabelle.state"
>> command, e.g. use the SHIFT-CONTROL-P command palette an
On 07/02/2017 02:21 PM, Makarius wrote:
> On 02/07/17 13:31, Christian Sternagel wrote:
>> On 07/01/2017 09:21 PM, Makarius Wenzel wrote:
>>> There is also a "State" panel that imitates the dockable of the same
>>> name in Isabelle/jEdit. You will get to that via the "isabelle.state"
>>> command,
On 02/07/17 22:16, Christian Sternagel wrote:
>
>> It should work analogously to the "Preview" button, but without having a
>> button.
>
> Preview (more concretely the "Open Preview" "button" -- some kind of
> magnifying glass icon where the rest is to tiny to discern) only gives
> me a white box
Hi all,
Yes, it absolutely makes sense to change the situation with compact. It is a standard
notion in order theory, so my suggestion is to make it qualified with ccpo, just like
admissible and fixp are. I can take care of that.
Andreas
On 30/06/17 21:31, Tobias Nipkow wrote:
On 30/06/201