Martin Vermeer wrote: > Thanks Pavel. > > It works like this: for certain predefined key sequences like => typing > the sequence will lead to a \Rightarrow appearing in Math. > > Unfortunately I don't have a working lyx in svn now... no working > account.
this is due to the migration to our new server. please contact JMarc for setting an account for you, it should be quite easy now. >So I cannot check how it works. i had the impression you wrote the code... am i wrong? > BTW Some guys at Turku University have implemented a facility for > writing structured derivations (i.e., math text with collapsable > subderivations etc. etc.) in LyX. Looks quite impressive. The source is > here: > > http://users.abo.fi/psallasm/src/ > > Would there be an interest in having this in trunk? i have no idea what this "math text with collapsable subderivations" means. are there some screenshots or patch? there is only some zip file with lyx tree, which is not even under svn. pavel
