Hello Waldek, *, Le jeu. 6 févr. 2025 à 19:40, Waldek Hebisch <[email protected]> a écrit : > > On Thu, Feb 06, 2025 at 05:34:52PM +0100, Grégory Vanuxem wrote: > > No, I do not know this domain in fact, I will look into it. > > Maybe you used a Boot function. For example you could look at > implementation of IndexCard or maybe 'api.spad' by Ralf (I do not > remember if Ralf uses IndexCard but probably he calls Boot). > Depending on your needs you may decide to use 'api.spad', domains > there are doing more than IndexCard. > > > But, since > > with Julia I added StyledStrings and I already support Regex (official > > modules) I wanted to see if I can produce "styled" documentation in > > the interpreter from the ++ documentation eventually with color, bold > > font, italic etc. IndexCard has ++documentation access??? > > Have you looked at what Krystian Bacławski did? His repo is: > > https://github.com/cahirwpz/phd
What an apparent interesting work! I thought it was a Google SoC but no in fact, it's a PhD work. > > His goal was Spad type checker, but as part of infrastructure he > implemented colored messages. > > Also, regexes are rather inconvenient if you need parsing. Yes I know but from memory there was a file, difficult to parse from memory, but I am pretty sure it existed. > As > part of api2.spad: > > http://wiki.fricas.org/public/api2.spad Thanks for the URL remainder! > > I created domains TeXScanner and TeXTree which implement LaTeX > parser capable of handling all docsting in the trunk. Currently > the parser is quite picky and signals errors for unknown control > sequences, but that could be easily changed. For example it could > ignore unknown control sequences, so that you would just get arguments. Not really read as of now this file + the one from Ralf. Same for the protocol to communicate with HyperDoc, I need to goodly interface a terminal with FriCAS, I can easily use tmux but for sure I am not at all a big fan of tmux. I think I will look into those domains, I know, regexing is not THE solution + it depends on an alien component. In any case, thank you for this good information! Have a good day! - Greg > > -- > Waldek Hebisch > > -- > You received this message because you are subscribed to the Google Groups > "FriCAS - computer algebra system" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to [email protected]. > To view this discussion visit > https://groups.google.com/d/msgid/fricas-devel/Z6UCHtnjXEknlBqT%40fricas.org. -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion visit https://groups.google.com/d/msgid/fricas-devel/CAHnU2dZtpJY7C9ihXowyKgeNb%3Dd8U1X0%3DFTzJnDyo_J78YsOGw%40mail.gmail.com.
