From: Henning Hraban Ramm via ntg-context <ntg-context@ntg.nl>
To: Taco Hoekwater via ntg-context <ntg-context@ntg.nl>
Cc: Henning Hraban Ramm <texml@fiee.net>
Subject: Re: [NTG-context] context-on-web broken
Date: Mon, 26 Jun 2023 09:08:18 +0200 [thread overview]
Message-ID: <683a891e-ac30-9b8f-15ed-f76431ba2ecc@fiee.net> (raw)
In-Reply-To: <296B8DDB-8F27-40DA-9027-87CE4BA18890@bittext.nl>
Am 26.06.23 um 08:49 schrieb Taco Hoekwater via ntg-context:
> Dear Miguel,
>
>> On 25 Jun 2023, at 22:48, Miguel Diaz via ntg-context <ntg-context@ntg.nl> wrote:
>>
>> Hi everyone,
>> and sorry if this is not the right place to post.
>>
>> Context-on-web is no more accesible.
>
> What is this context-on-web? I tried searching, but context+web produces rather useless results.
https://context-on-web.eu
online IDE by Zdeněk Svoboda of Brno university
Hraban
___________________________________________________________________________________
If your question is of interest to others as well, please add an entry to the Wiki!
maillist : ntg-context@ntg.nl / https://www.ntg.nl/mailman/listinfo/ntg-context
webpage : https://www.pragma-ade.nl / http://context.aanhet.net
archive : https://bitbucket.org/phg/context-mirror/commits/
wiki : https://contextgarden.net
___________________________________________________________________________________
next prev parent reply other threads:[~2023-06-26 7:09 UTC|newest]
Thread overview: 14+ messages / expand[flat|nested] mbox.gz Atom feed top
2023-06-25 20:48 Miguel Diaz via ntg-context
2023-06-26 6:49 ` Taco Hoekwater via ntg-context
2023-06-26 7:08 ` Henning Hraban Ramm via ntg-context [this message]
2023-06-26 17:43 ` Miguel Diaz via ntg-context
2023-06-26 17:53 ` Aditya Mahajan via ntg-context
2023-06-26 18:38 ` Hans Hagen via ntg-context
2023-06-27 5:54 ` Miguel Diaz via ntg-context
2023-07-07 21:16 ` Aditya Mahajan
2023-07-08 6:38 ` Mikael Sundqvist
2023-07-08 10:42 ` Max Chernoff
2023-07-04 21:23 ` Fabrice L
2023-06-26 18:03 ` [NTG-context] " Henning Hraban Ramm via ntg-context
2023-06-26 18:12 ` Hans Hagen via ntg-context
2023-06-26 18:10 ` Hans Hagen via ntg-context
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=683a891e-ac30-9b8f-15ed-f76431ba2ecc@fiee.net \
--to=ntg-context@ntg.nl \
--cc=texml@fiee.net \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).